Martin was previously affiliated with the University of Liverpool (Lecturer), Saarland University (Habilitation), University of Warsaw (Postdoc), and RWTH Aachen University (PhD and Diploma).

DESCRIBE YOUR RESEARCH AREA AND FOCUS
- I am interested in verification, temporal logics, reactive synthesis, and automata theory.

PROJECTS YOU ARE INVOLVED IN??
- Currently, I am focusing much of my attention on temporal logics for security and privacy as well as notions of robustness for reactive systems. Also, I am organising MOVEP2022 (https://movep2022.cs.aau.dk/), a summer school on modelling and verification of concurrent and reactive systems, to be held in June 2022 in Aalborg.

WHY DID YOU CHOOSE TO CONTINUE YOUR CAREER AT AALBORG UNIVERSITY?
- Since my PhD, I had the pleasure of visiting Aalborg University several times, including a longer stay with the whole family in 2015. Each time it felt like a great place to live and work. So, I am happy to be a part of the department, continue old collaborations and start new ones, and to explore the city and its surroundings.

FUN AND OTHER FACTS?
- Post Covid, I need to get more active again. So, if someone is playing some afterwork football/table tennis, etc. or wants to start as well, please get in touch with me.

CONTACT INFO
mzi@cs.aau.dk

GOOGLE SCHOLAR PROFILE
Martin Zimmermann