Christoph Matheja – Curriculum Vitæ#
Contact#
Christoph Matheja is an Associate Professor at DTU’s Department of Applied Mathematics and Computer Science, and a member of the section for Software Systems Engineering. His research areas are verification, formal methods, and programming languages, that is, developing elegant mathematical techniques for reasoning about software systems.
chmat (at) dtu (dot) dk |
|
Office |
B321/017 (map) |
Platforms |
|
Address |
DTU Compute |
Section for Systems Engineering |
|
Richard Petersens Plads, Build. 321 |
|
DK-2800 Kgs. Lyngby |
Employment#
Sep. 2023 |
Associate Professor, Section for Software Systems Engineering, Department of Applied Mathematics and Computer Science, Technical University of Denmark |
Nov. 2021 |
Assistant Professor (tenure track), Section for Formal Methods, Department of Applied Mathematics and Computer Science, Technical University of Denmark |
Mar. 2020 |
Postdoc, Programming Methodology Group, Department of Computer Science, ETH Zürich |
Dec. 2014 |
PhD student (“wissenschaftlicher Mitarbeiter”), Modelling and Verification Group, Department of Computer Science, RWTH Aachen University |
Education#
2020 |
PhD (Dr. rer. nat) in Computer Science, summa cum laude, RWTH Aachen University (supervisor: Joost-Pieter Katoen) |
2014 |
MSc. in Computer Science, RWTH Aachen University |
2012 |
BSc. in Computer Science, RWTH Aachen University |
Awards#
The artifact accompanying our 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 at OOPSLA 2023.
The paper A Pre-Expectation Calculus for Probabilistic Sensitivity (joint work with Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Kaminski, and Joost-Pieter Katoen) has been selected as a distinguished paper at POPL 2021.
I was awarded the Borchers Plakette in 2020 for finishing my PhD with distinction.
The paper How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times (joint work with Kevin Batz, Benjamin Kaminski, and Joost-Pieter Katoen) was nominated for the EATCS Best Paper Award at ETAPS 2018.
The paper Rule-based Conditioning of Probabilistic Data Integration (joint work with Maurice van Keulen, Benjamin Kaminski, and Joost-Pieter Katoen) won the best paper award at SUM 2018.
The paper Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (joint work with Benjamin Kaminski, Joost-Pieter Katoen, and Federico Olmedo) won the EATCS Best Paper Award for the best theory paper presented at ETAPS 2016.
I was awarded the Springorum Medal in 2015 for receiving a master’s degree with distinction.
Professional Activities#
Event Organization#
Workshop co-Chair for POPL 2024
Verifying Probabilistic Programs (VeriProP at CAV 2023, FLoC 2022, CAV 2021)
Program Committees#
Computer Aided Verification (CAV 2023)
International Symposium on Formal Methods (FM 2023)
Principles of Programming Languages (POPL 2023)
Advancing Separation Logics (ASL at FLoC 2022)
Grants#
AuRoRa: Automated Reasoning about Randomized Algorithms, DFF Project 1
Automated Verification of Sensitivity Properties for Probabilistic Programs, DIREC Explore Project
External Reviewer (incomplete)#
Journals#
ACM Transactions on Programming Languages and Systems
ACM Transactions on Computational Logic
Information Processing Letters
Science of Computer Programming
Fundamenta Informaticae
Conferences#
POPL, OOPSLA, CAV, CONCUR, CSL, DLT, DSN, FM, FTSCS, ICALP, LATA, LICS, LPAR