معرفی
Fabian Reiter is an associate professor in theoretical computer science at Gustave Eiffel University (formerly University of Paris-Est Marne-la-Vallée). He is affiliated with the BAAM team at the Gaspard Monge Laboratory of Computer Science (LIGM). His academic journey includes postdoctoral positions at Technical University of Munich (TUM), LSV (University of Paris-Saclay), and a PhD at Paris Diderot University under Olivier Carton, focusing on distributed automata and logic. His Master's thesis at the University of Freiburg explored algorithmic and computational logic under Fabian Kuhn and Andreas Podelski.
Reiter's research centers on logic and formal models of distributed computing, particularly extending descriptive complexity theory to distributed systems. He investigates equivalences between distributed algorithm classes and logical formulae, aiming to characterize computational power via logical frameworks. Key contributions include foundational work on distributed automata, modal μ-calculus, and the interplay between algorithmic expressiveness and logical expressiveness.
His publications span venues like PODC, CONCUR, FOSSACS, and LICS, addressing topics such as polynomial hierarchy in distributed systems, asynchronous models, and automata-logic equivalences. His PhD thesis, “Distributed Automata and Logic”, explores logical characterizations of distributed automata variants, including nonlocal and asynchronous models. Current research emphasizes bridging distributed computing with descriptive complexity to develop machine-independent computational characterizations.
Reiter’s work is supported by grants from the Simons Foundation and ERC projects (e.g., PaVeS and EQualIS). He actively contributes to conferences through talks at venues like PODC 2024 and CONCUR 2020, and his findings are accessible via dblp, arXiv, and institutional repositories.
