Selected Talks

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).

Weighted NetKAT: A Programming Language for Quantitative Network Verification IFIP WG 1.9/2.15, Turin, Italy, April 2026.
SMT-Based Learning of Weighted Automata PWND2 PI Meeting, Portland, OR, February 10, 2026.
Quantifier Elimination and Craig Interpolation: The Quantitative Way FoSSaCS 2025, Hamilton, Canada, May 5, 2025.
Automated Deductive Verification of Probabilistic Programs PhD defense, RWTH Aachen University, December 20, 2024.
A Calculus for Amortized Expected Runtimes POPL 2023, Boston, USA, January 19, 2023.
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants TACAS 2023, Paris, France, April 27, 2023.
Automatic Verification of Probabilistic Programs Guest lecture in Prof. Katoen's course on Probabilistic Programming, 2023.
Latticed k-Induction with an Application to Probabilistic Programs CAV 2021.
PrIC3: Property Directed Reachability for MDPs CAV 2020.