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

Welcome to the Chair for Foundations of Software Reliability and Theoretical Computer Science. The interests of the group span

  • all aspects of software reliability, with special emphasis on model-checking and program analysis techniques;
  • foundations of software analysis techniques, in particular automata theory, logic, and complexity;

Current research topics include:

Parameterized Verification and Synthesis Verification of Probabilistic Systems
Parameterized stochastic systems; Verification and synthesis of infinite-state systems; Petri nets; Population protocols; Constraint-based technology Probabilistic model-checking; Analysis of infinite-state Markov chains; Applications to reputation systems
Foundations of Program Analysis Formal Methods for High-Level Software
Generic program analyzers; Theory and applications of polynomial equations on semirings; Fixed point algorithms and their convergence speed Model-checking Java programs; Testing with model-checking techniques; Verification of infinite-state systems; Security infrastructures
Model Checking and Constraint Solving Automata, Logic, and Complexity
Malicious code detection; Automated abstraction; Parameterized verification; SAT and constraint solving Mathematical methods for discrete systems; Classification and algorithms for hard problems; Temporal logic and foundations of verification