Christoph Matheja#


I am an Associate Professor at DTU’s Department of Applied Mathematics and Computer Science, and a member of the section for Software Systems Engineering.

My research areas are verification, formal methods, and programming languages. My general interest lies in developing elegant mathematical techniques for reasoning about software systems. To this end, I work with separation logic, weakest-precondition style calculi, probabilistic programming, model checking, graph grammars, and abstract interpretation.

Before joining DTU, I was a postdoctoral researcher in the programming methodology group at the Department of Computer Science at ETH Zurich. Before that, I was a PhD student in the MOVES group at RWTH Aachen. My advisor was Joost-Pieter Katoen.



The artifact accompanying our OOPSLA 2023 paper A Deductive Verification Infrastructure for Probabilistic Programs (joint work with Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, and Joost-Pieter Katoen) has been selected as a distinguished artifact.


I have been promoted to associate professor at DTU Compute.