People

Principal Investigators

Prof. Dr. Heiko Mantel (Speaker)
Modeling and Analysis of Information Systems

Prof. Dr. Reiner Anderl
Computer Integrated Design

Prof. Dr. Christian Bischof
Scientific Computing

Prof. Dr. Reiner Hähnle
Software Engineering

Prof. Dr. Marie-Christine Jakobs
Semantics and Verification of Parallel Systems

Prof. Dr. Mira Mezini
Software Technology

Prof. Dr. Guido Salvaneschi
Reactive Programming

Prof. Dr. Andy Schürr
Real-Time Systems

Prof. Dr. Felix Wolf
Parallel Programming

Administrative Coordination

Katrin Treue
(Project Office)

Researchers

Max Barth

Florian Dewald

Asmae Heydari Tabar

Vladimir Kutscher

Dr. Jan-Patrick Lehr

Dr. Arya Mazaheri

Ali Mohammadi

Patrick Müller

Dr. Mohammad Norouzi

Dr. Sebastian Ruland

Daniel Sokolowski

Dr. Nathan Wasser

Dr. Alexandra Weber

Associated Senior Researchers

Prof. Dr. Kirstin Peters

Prof. Dr. Thomas Rollmann

Dr. habil. Malte Lochau

Former Principal Investigators

Prof. Dr. Michael Pradel

Alumni

Dr. Johannes Bürdek

Dr. Marija Selakovic

Dr. Marco Grimm

Dr. Cristian-Alexandru Staicu

Dr. Eduard Kamburjan

Dr. Dominic Steinhöfel

Dr. Pascal Weisenburger

Dr. Lars Luthmann

Dr. Leonid Glanz

Dr. Oleg Anokhin

Dr. Zia Ul Huda

Dr. Daniel Lehmann