People

Principal Investigators

Prof. Dr. Heiko Mantel
Prof. Dr. Heiko Mantel (Speaker)
Modeling and Analysis of Information Systems
Prof. Dr. Reiner Anderl
Prof. Dr. Reiner Anderl
Computer Integrated Design
Prof. Dr. Christian Bischof
Prof. Dr. Christian Bischof
Scientific Computing
Prof. Dr. Reiner Hähnle
Prof. Dr. Reiner Hähnle
Software Engineering
Prof. Dr. Marie-Christine Jakobs
Prof. Dr. Marie-Christine Jakobs
Semantics and Verification of Parallel Systems
Prof. Dr. Mira Mezini
Prof. Dr. Mira Mezini
Software Technology
Prof. Dr. Guido Salvaneschi
Prof. Dr. Guido Salvaneschi
Reactive Programming
Prof. Dr. Andy Schürr
Prof. Dr. Andy Schürr
Real-Time Systems
Prof. Dr. Felix Wolf
Prof. Dr. Felix Wolf
Parallel Programming

Researchers

Florian Dewald
Florian Dewald
Asmae Heydari Tabar
Asmae Heydari Tabar
Thomas Höhl
Thomas Höhl
Vladimir Kutscher
Vladimir Kutscher
Jan-Patrick Lehr
Jan-Patrick Lehr
Arya Mazaheri
Arya Mazaheri
Patrick Müller
Patrick Müller
Mohammad Norouzi
Mohammad Norouzi
Sebastian Ruland
Sebastian Ruland
Dr. Nathan Wasser
Dr. Nathan Wasser

Associated Senior Researchers

Prof. Dr. Thomas Rollmann
Prof. Dr. Thomas Rollmann
PD Dr. Malte Lochau
PD Dr. Malte Lochau

Former Principal Investigators

Prof. Dr. Michael Pradel
Prof. Dr. Michael Pradel

Alumni

Dr. Johannes Bürdek
Dr. Johannes Bürdek
English