News
Meet Martin Zimmermann - New Associate Professor in the DEIS Group
Published online: 19.01.2022

News
Meet Martin Zimmermann - New Associate Professor in the DEIS Group
Published online: 19.01.2022

Meet Martin Zimmermann - New Associate Professor in the DEIS Group
News
Published online: 19.01.2022
News
Published online: 19.01.2022
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