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
 
M.Sc. Kush Grover
M.Sc. Stefan Jaax
 
M.Sc. Julia Krämer
Dr. Marijana Lazic
 
Dr. Michael Luttenberger
M.Sc. Tobias Meggendorfer
 
M.Sc. Philipp J. Meyer
M.Sc. Christian Müller
 
Dr. Michael Raskin
Dr. Fabian Reiter
 
M.Sc. Salomon Sickert
M.Sc. Chana Weil-Kennedy
 
M.Sc. Maxi Weininger
M.Sc. Christoph Welzel
 


associate members
M. Sc. Gupta Ashutosh
 
Dr. Volker Baier
Dr. Tewodros Awgichew Beyene
 
Dr. Michael Blondin
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
Dr. Philipp Hoffmann
 
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
 
M.Sc. Pedro Valero
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