CV | Kevin Batz

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

CV

Download CV

Awards

Best Paper Award at FM, 2026.
Distinguished Artifact Award at ESOP, 2026.
ETAPS Doctoral Dissertation Award, 2025.
Borchers Medal for receiving a doctoral degree with distinction (summa cum laude), 2025.
Distinguished Artifact Award at OOPSLA, 2023.
Best Paper Award at LOPSTR, 2020.
Springorum Medal for receiving a master’s degree with distinction, 2019.

Academic Service

Program Committee

2027Logic in Computer Science (LICS).
2026Workshop on Algebraic Development Techniques (WADT).
2026International Symposium on Automated Technology for Verification and Analysis (ATVA), PC member and AEC co-chair.
2026International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
2026International Conference on Quantitative Evaluation of SysTems (QEST).
2026International Symposium on Theoretical Aspects of Computer Science (STACS).

External Reviewer

2026International Symposium on Mathematical Foundations of Computer Science (MFCS).
2026ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
2026ACM/IEEE Annual Symposium on Logic in Computer Science (LICS).
2025ACM Symposium on Principles of Programming Languages (POPL).
2025Science of Computer Programming (SCICO).
2025International Conference on Computer-Aided Verification (CAV).
2024International Conference on Computer-Aided Verification (CAV).
2024ACM/IEEE Annual Symposium on Logic in Computer Science (LICS).
2024International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).
2023International Conference on Uncertainty in Artificial Intelligence (UAI).
2023ACM Symposium on Principles of Programming Languages (POPL).
2023International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR).
2022ACM Symposium on Principles of Programming Languages (POPL).
2021ACM/IEEE Annual Symposium on Logic in Computer Science (LICS).
2021International Conference on Computer-Aided Verification (CAV).
2021International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
2019International Conference on Quantitative Evaluation of SysTems (QEST).