معرفی
Fabian Reiter is an Associate Professor at Gustave Eiffel University, specializing in Theoretical Computer Science within the DataBases, Automata, algorithm Analysis and Models (BAAM) team at the Gaspard Monge Laboratory of Computer Science (LIGM). His research bridges logic and distributed computing, focusing on extending descriptive complexity theory to distributed systems.
His work establishes equivalences between distributed algorithm classes and logical formula classes, mirroring classical results like Fagin’s theorem. This includes groundbreaking connections between asynchronous automata and least fixpoint logic.
- Academic appointments:
- 2019–now: Associate Professor at Gustave Eiffel University
- 2019-03–2019-07: Postdoc at Technical University of Munich (funded by ERC project PaVeS)
- 2018–2019: Postdoc at University of Paris-Saclay (funded by ERC project EQualIS)
- Education:
- PhD (2014–2017) under Olivier Carton at IRIF, Paris Diderot University
- Master’s (2013–2014) under Fabian Kuhn and Andreas Podelski at University of Freiburg
۰مقاله منتشرشده
