Computer Science Colloquium Series: Self-stabilizing Oscillator in the Population Model

Abstract

In this talk I will present an oscillator for the population model with 7 states that oscillates if an agent in a special state X exists and stands still otherwise. The oscillator will oscillate after O(n log n) steps if an X agent exists, otherwise it will stop oscillating after O(n log n) steps. I will show how the oscillator can be used for detection, generating a phase clock and electing a junta.

Bio

Petra got her MSc degree in Computer science in 2000 from the University of Paderborn, Germany. After that she spent two years as a research fellow at the University of Warwick, UK (supervised by Leslie Ann Goldberg). In 2002 she started a professor position at SFU, Canada. Since 2016 she is a professor at the University of Hamburg, Germany.