Teaching

News

Jun 11, 2026Our paper Type-Directed Discretization of Probabilistic Programs (joint work with Katherine Wu, Jules Jacobs, and Alexandra Silva) was accepted at OOPSLA 2026.

May 20, 2026Our paper Verifying Sampling Algorithms via Distributional Invariants (joint work with Daniel Zilken, Joost-Pieter Katoen, and Tobias Winkler) won the FM 2026 Best Paper Award.

Apr 17, 2026Our paper Caesar: A Deductive Verifier for Probabilistic Programs (joint work with Philipp Schröer, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja) was accepted at CAV 2026.

Apr 17, 2026Our paper SMT-Based Active Learning of Weighted Automata (joint work with Tiago Ferreira and Alexandra Silva) was accepted at CAV 2026.

Apr 16, 2026Our paper The Algebra of Iterative Constructions (joint work with Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Henning Urbat, and Todd Schmid) was accepted at LICS 2026.

Apr 14, 2026Our artifact for the paper Generating Functions Meet Occupation Measures (joint work with Darion Haase, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, and Tobias Winkler) received an ETAPS Distinguished Artifact Award.

Mar 5, 2026Our paper Weighted NetKAT (joint work with Emmanuel Suárez Acevedo, Tiago Ferreira, Oliver Bøving, Nate Foster, and Alexandra Silva) was accepted at PLDI 2026.

Feb 6, 2026Our paper Verifying Sampling Algorithms via Distributional Invariants (joint work with Daniel Zilken, Joost-Pieter Katoen, and Tobias Winkler) was accepted at FM 2026.

Dec 22, 2025Our paper Generating Functions Meet Occupation Measures (joint work with Darion Haase, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, and Tobias Winkler) was accepted at ESOP 2026.

Sep 6, 2025I received RWTH’s Borchers Medal for a doctorate with distinction.

May 8, 2025I received the ETAPS Doctoral Dissertation Award.

Feb 18, 2025Our paper Foundations for Deductive Verification of Continuous Probabilistic Programs (joint work with Joost-Pieter Katoen, Francesca Randone, and Tobias Winkler) was accepted at OOPSLA 2025.

Dec 20, 2024Our paper Quantifier Elimination and Craig Interpolation: The Quantitative Way (joint work with Joost-Pieter Katoen and Nora Orhan) was accepted at FoSSaCS 2025.

Dec 20, 2024I received my doctorate from RWTH Aachen University with distinction (summa cum laude).

2024

Static Program Analysis Teaching assistant, RWTH Aachen University. Summer 2024. course

2023

Automatic Verification of Probabilistic Programs Guest lecture in Prof. Katoen's course on Probabilistic Programming, RWTH Aachen University, 2023. course slides
Semantics and Verification of Software Teaching assistant, RWTH Aachen University. Summer 2023. course

2022

Compiler Construction Teaching assistant, RWTH Aachen University. Winter 2022/23. course
Static Program Analysis Teaching assistant, RWTH Aachen University. Summer 2022. course

2021

Concurrency Theory Teaching assistant, RWTH Aachen University. Winter 2021/22. course
Semantics and Verification of Software Teaching assistant, RWTH Aachen University. Summer 2021. course

2020

Compiler Construction Teaching assistant, RWTH Aachen University. Winter 2020/21. course
Seminar: Probabilistic Programming Seminar supervision, RWTH Aachen University. Winter 2020/21. course
Static Program Analysis Teaching assistant, RWTH Aachen University. Summer 2020. course
Proseminar: Introduction to Program Analysis Proseminar supervision, RWTH Aachen University. Summer 2020. course

2019

Concurrency Theory Teaching assistant, RWTH Aachen University. Winter 2019/20. course
Semantics and Verification of Software Teaching assistant, RWTH Aachen University. Summer 2019. course