Kevin Batz

Kevin Batz is a researcher in computer science at RWTH Aachen University, currently affiliated with University College London. He completed his PhD in December 2024 under Professor Joost-Pieter Katoen, focusing on probabilistic program semantics and verification. His work includes co-developing Weighted Programming, a paradigm for mathematical modeling, and advancing deductive verification techniques for probabilistic systems.

Education: PhD in Computer Science (RWTH Aachen University, 2024, summa cum laude). Supervised by Prof. J.-P. Katoen.

Research Interests: Probabilistic programming semantics, automated verification, formal methods for heap-manipulating systems, and quantitative separation logic. He has pioneered tools like the deductive verification infrastructure for probabilistic programs and contributed to foundational work on expectation analysis.

Awards:

• ETAPS Doctoral Dissertation Award 2025
• Best Paper Award at LOPSTR 2020
• Springorum Medal 2019

Teaching & Supervision: Taught courses on probabilistic programming, static analysis, and compiler construction. Supervised multiple thesis projects, including award-winning works on quantitative separation logic and invariant-based strategy synthesis.

Labs/Teams: Member of the Software Modeling and Verification Group at RWTH Aachen, contributing to the LuFG i2 research unit.