DEIS

DEIS News

Meet Martin Zimmermann - New Associate Professor in the DEIS group

Meet Martin Zimmermann - New Associate Professor in the DEIS group

Please welcome Martin Zimmermann who joined the Department of Computer Science as new Associate Professor in the DEIS group as of August 1, 2021.

Last modified: 22.11.2021

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

Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk ・Vacancies