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:

Formal Methods for High-Level Software Verification of Probabilistic Systems
Model-checking Java programs; Testing with model-checking techniques; Verification of infinite-state systems; Security infrastructures
Probabilistic model-checking; Analysis of infinite-state Markov chains; Applications to reputation systems
Foundations of Program Analysis Formal Methods for Embedded Systems
Generic program analyzers; Theory and applications of polynomial equations on semirings; Fixed point algorithms and their convergence speed Model checking embedded software; Execution time analysis; Model based testing; Runtime verification
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

old homepages: 2004-2007 or before 2004


EATCS award nominees

Two papers from our chair were nominated for the EATCS award at ETAPS 2016:

  • Faster Statistical Model Checking for Unbounded Temporal Properties by Przemysław Daca, Thomas Henzinger, Jan Křetínský and Tatjana Petrov.
  • Reduction Rules for Colored Workflow Nets by Philipp Hoffmann and Javier Esparza.

Prof. Helmut Veith

We mourn the loss of Helmut Veith, who unexpectedly passed away on March 12. He was professor at our Chair from 2003 to 2007. After a short period at TU-Darmstadt, in 2010 he returned to TU-Wien, his alma mater, as Professor for Formal Methods in Software Engineering.

Prof. Veith was a brilliant researcher and team leader, and had a unique gift for the divulgation of science. He will be missed and remembered. Our thoughts are with his family.

Obituaries remembering Helmut.