Christoph Matheja

Christoph Matheja is an Associate Professor at the Technical University of Denmark, affiliated with the Department of Applied Mathematics and Computer Science. His work focuses on formal verification, probabilistic programming, and software systems engineering.

• Research Highlights: Operational semantics for probabilistic programs, fixed-point characterizations of rewards in MDPs, and data-driven Petri net modeling for process mining.

Publications span formal verification techniques, probabilistic programming paradigms, and tools for process mining, emphasizing interdisciplinary applications in computer science and software engineering.

Scientific Awards:

• POPL 2021 Distinguished Paper

Advising & Grants: Supervises PhD students in automated reasoning about randomized algorithms, with project funding active from 2023 to 2026.

Professional Activities: Serves on committees for ACM SIGPLAN Symposium on Principles of Programming Languages (2022–present), International Conference on Computer Aided Verification (2023–present), and Formal Methods Symposium (2022–present). Organizer of the 2022 Workshop on Verification of Probabilistic Programs.