Welcome to the Theory of Correct Systems group, headed by Prof. Dr. Christoph Matheja. 

Our research areas are formal methods and verification, particularly for probabilistic and heap-manipulating systems. Our mission is to apply rigorous and beautiful mathematics to develop methods and tools that contribute to increasing our confidence into the correctness and trustworthiness of software systems. In particular, I have worked on quantitative verification, reasoning techniques for probabilistic programs, separation logic, model-checking, probabilistic programming, Rust verification, and static analyses using graph grammars.

Further details are found on the personal website of Christoph Matheja.