I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
People

professors
Univ.-Prof. Dr. Dr. h.c. Javier Esparza
 
Univ.-Prof. Dr. Jan Kretinsky
Prof. Dr.-Ing. Thomas A. Runkler
 


former professors
em. Univ.-Prof. Dr. Dr. h.c. mult. Wilfried Brauer †
 
Univ.-Prof. Dr. Wolfgang Reisig
Univ.-Prof. Dr. Andrey Rybalchenko
 
Univ.-Prof. Dr. Helmut Veith †


secretaries
Claudia Link
 


scientific staff
M.Sc. Pranav Ashok
 
Dr. Michael Blondin
DPhil Christopher Broadbent
 
M.Sc. Philipp Hoffmann
M.Sc. Stefan Jaax
 
Dr. Michael Luttenberger
M.Sc. Tobias Meggendorfer
 
M.Sc. Philipp J. Meyer
M.Sc. Christian Müller
 
M.Sc. Salomon Sickert


associate members
M. Sc. Gupta Ashutosh
 
Dr. Volker Baier
Dr. Tewodros Awgichew Beyene
 
Prof. Dr. Felix Brandt
Dr. Ruth Cobos Pérez
 
Prof. Dr. Gustavo Deco
Dr. Antoine Durand-Gasselin
 
Dipl.-Inf. Felix Fischer
Dr. Andreas Gaiser
 
Dr. Johannes Geiger
Korbinian Grote
 
Dipl.-Inf. Hermann Gruber
Dr. Daniel Hernández
 
Prof. Dr. Markus Holzer
Prof. Dr. Stefan Katzenbeisser
 
Dr. Christian Kern
Dr. Stefan Kiefer
 
Dr.-Ing. Jörg Kreiker
Dr. Stefan Kugele
 
Dr. Alexander Malkis
M.Sc. René Neumann
 
Dr. Matthias Nickles
Dr. Michael Payer
 
Dipl.-Inf. Achim Rettinger
Dr. Michael Rovatsos
 
Uwe Röttgermann
Dr. Christian Schallhart
 
Dipl.-Math. Maximilian Schlund
Dr. Stefan Schwoon
 
Dr. Katharina Spies
Harald Steck
 
PD Dr. Martin Stetter
Dr. Dejvuth Suwimonteerabuth
 
Dr. Dirk Taubner
M.Sc. Klaus v. Gleissenthall
 
Dr. Gerhard Weiß
Florian Zuleger
 


affiliated scientists
Dipl.-Inf. Oliver Ruepp
 


former students
Nils-Olaf Bösch
 
Patrick Drude
Angelika Först
 
Axel Gerster
Antonio Manchado
 
Anton Matheis
Michael Schlichter
 
Philipp Tölke
Andreas Weis