Prof. Dr. Christoph Matheja has been appointed to the professorship for Theory of Correct Systems at the Department of Computing Science. He studied computer science at RWTH Aachen University, where he earned his master's degree in 2014 and his PhD in 2020.
He was a postdoctoral researcher at ETH Zurich (Switzerland) from 2020 to 2021, and then moved to the Technical University of Denmark in Lyngby, where he was an assistant professor from 2021 to 2023 and associate professor from 2023 to 2024.
Matheja’s main area of research is the development of formal methods and tools for software verification that give correctness guarantees in the form of mathematical and, ideally, machine-checked proofs. To this end, he develops verification tools that can rule out programming errors at an early stage. A particular focus is the analysis of probabilistic programs, which can make decisions based on random experiments. Matheja develops methods for quantifying the correctness and robustness of such programs.
