Christoph Matheja
I'm a professor at the University of Oldenburg in Germany, where I lead the Theory of Correct Systems group. I am also an associate professor in the section of Software Systems Engineering at the Technical University of Denmark.
My research areas are formal methods and verification, particularly for probabilistic and heap-manipulating systems. My 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.
Before joining Oldenburg University and DTU Compute, I was as a postdoctoral researcher in the Programming Methodology Group headed by Peter Müller at ETH Zürich. Before that, I was a Ph.D. student in the Software Modeling and Verification Group at RWTH Aachen University under the supervision of Joost-Pieter Katoen.
