The PaVeS-Group is excited to announce the arrival of Fabian Reiter at our chair! Here is a short description of the research interests of our new member in his own words:
I am interested in logic and formal models of distributed computing.
One of my major goals is to contribute to the recently initiated
development of a descriptive complexity theory for distributed
computing. Basically, this means that I seek to establish equivalences
of the form: “Distributed algorithm class A has the same expressive
power as formula class Φ.”