Martin Zimmermann

Martin Zimmermann is an Associate Professor in the Department of Computer Science at Aalborg University, where he leads the Distributed, Embedded and Intelligent Systems research group. Previously, he held roles as a lecturer at the University of Liverpool and postdoctoral researcher at Saarland University and the University of Warsaw. He earned his PhD from RWTH Aachen University, with a Fulbright-funded period at DePaul University in Chicago.

• Education:
• PhD in Computer Science, RWTH Aachen University
• MSc in Computer Science, RWTH Aachen University (with Fulbright at DePaul University)

Research Interests: Zimmermann focuses on temporal logics, reactive synthesis, and automata theory, particularly exploring HyperLTL, model-checking techniques, and formal verification challenges. His work bridges theoretical foundations with practical applications in real-time systems and neural-network control.

Key Contributions: Notable publications include advancements in HyperQPTL model-checking, complexity analysis of second-order HyperLTL, and robust temporal logics. His research often addresses decidability, computational complexity, and algorithmic solutions for infinite games and reactive systems.

• Teaching: Teaches courses like Computability and Complexity, Algorithms and Computability, and Computer Architecture at Aalborg University.
• Service: Served on PCs of major conferences (e.g., CONCUR, CSL) and organized events like MOVEP 2022.

Awards: Received the Best Paper Award at MFCS 2021 for groundbreaking work on pushdown automata expressiveness.