Christoph Matheja

Christoph Matheja is a Professor at the University of Oldenburg, where he leads the Theory of Correct Systems group. Additionally, he holds an Associate Professor position in the Software Systems Engineering section at the Technical University of Denmark. His research focuses on formal methods and verification, particularly for probabilistic and heap-manipulating systems.

His work spans quantitative verification, probabilistic programs, separation logic, and static analysis using graph grammars. Recent research includes the development of the LogPPL tool for probabilistic process mining and a game-based semantics for the HeyVL verification language. Matheja has also contributed to PC committees for conferences like ESOP 2026, LICS 2026, and CAV 2025.

He previously held a postdoctoral position at ETH Zürich under Peter Müller and completed his PhD at RWTH Aachen under Joost-Pieter Katoen.