Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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. Debarghya Ghoshdastidar, PhD
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. Balasubramanian A. R.
 
M.Sc. Pranav Ashok
M.Sc. Philipp Czerner
 
M.Sc. Julia Eisentraut
M.Sc. Pascal Mattia Esser
 
Dr. Alexandros Evangelidis
M.Sc. Kush Grover
 
M.Sc. Martin Helfrich
M.Sc. Stefan Jaax
 
Dr. Marijana Lazic
Dr. Michael Luttenberger
 
M.Sc. Tobias Meggendorfer
M.Sc. Philipp J. Meyer
 
M.Sc. Stefanie Mohr
M.Sc. Christian Müller
 
Dr. Michael Raskin
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
 
Dr. Fabian Reiter
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