Moses Ganardi

I am a research group leader at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. In addition, I hold an Interim Professorship for Theoretical Computer Science at Leipzig University. From May 2020 to Dec 2022, I was a postdoctoral researcher at MPI-SWS in the Models of Computation group headed by Georg Zetzsche. Before that, I obtained a PhD with Markus Lohrey at the University of Siegen.

My research interests include automata theory, logic in computer science, verification of infinite-state systems, algorithms on compressed data, as well as algorithmic group theory.

News

Publications

Conference papers

Journal papers

Other

Service

I am/have been on the PC of LICS 2024, ESA 2023, RP 2022, CSR 2022resigned on March 3, 2022 due to sanctions against Russia..

I have reviewed submissions for STACS 2024, LATIN 2024, LICS 2023, ICALP 2023, STACS 2023, SODA 2023, CSL 2023, GandALF 2022, LATIN 2022, CPM 2022, CSL 2022, ICALP 2021, CiE 2021, LICS 2021, MFCS 2021, MFCS 2020, LATA 2020, ICALP 2019, DLT 2019, MFCS 2018, CIAA 2017, MFCS 2016, LMCS, Theory of Computing.

Contact

Moses Ganardi
Max Planck Institute for Software Systems
Paul-Ehrlich-Strasse, Building G 26
67663 Kaiserslautern, Germany