- kevin.batz at cs.rwth-aachen.de
- Room 4203
- +49 241 80 21206
I am a PhD student and member of the FRAPPANT project at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. My research interests include:
- Semantics of (heap-manipulating) probabilistic programs
- Techniques and calculi enabling the automated verification of probabilistic programs
- Concepts and logic for quantitative verification
I am currently involved in the following teaching activities:
In the past, I have been involved in the following teaching activities:
- Static Program Analysis (SS 20)
- Proseminar: Introduction to Program Analysis (SS 20)
- Concurrency Theory (WS 19/20)
- Semantics and Verification of Software (SS 19)
I am supervising our student research assistants Philipp Schröer and Adrian Gallus (with Tobias Winkler and Benjamin Kaminski). Formerly, I have supervised our student research assistant Tom Biskup.
Moreover, I am supervising or have supervised the following thesis projects:
- Florian Keßler, On the Decidability of Entailment Checking in Quantitative Separation Logics, Bachelor’s Thesis, 2020, winner of the CS Department Award 2020 (with Thomas Noll and Christoph Matheja).
- Adrian Gallus, RPrIC3: PrIC3 for Expected Rewards, Bachelor’s Thesis, 2020
- Marvin Jansen, TBA, Master’s Thesis, ongoing work (with Ira Fesefeldt and Christoph Matheja)
- Philipp Schröer, TBA, Master’s Thesis, ongoing work (with Christoph Matheja)
- Our paper Generating Functions for Probabilistic Programs (joint work with Lutz Klinkenberg, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Winkler) has received the best paper award at LOPSTR 2020.
- I was awarded the Springorum Medal in 2019 for receiving a master’s degree with distinction.
- Our paper How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times (joint work with Benjamin Kaminski, Joost-Pieter Katoen, and Christoph Matheja) was nominated for the EATCS Best Paper Award at ETAPS 2018.
|[bibtex] [issue]||Kevin Batz, , Joost-Pieter Katoen, . Relatively complete verification of probabilistic programs, Proceedings of the ACM on programming languages 5, pages 39, ACM, 2021.|
|[bibtex] [issue]||Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2020), Volume 12561 of Theoretical Computer Science and General Issues, 231-248, Springer, 2021.|
|[bibtex] [issue]||Kevin Batz, Sebastian Junges, , Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3, 2020. https://arxiv.org/abs/2004.14835|
|[bibtex] [issue]||Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327|
|[bibtex] [issue]||Kevin Batz, , Joost-Pieter Katoen, Christoph Matheja. Relatively Complete Verification of Probabilistic Programs, 49 Seiten, 2020. https://arxiv.org/abs/2010.14548|
|[bibtex] [issue]||Kevin Batz, Sebastian Junges, , Joost-Pieter Katoen, , Philipp Schröer. PrIC3, 32rd International Conference on Computer-Aided Verification, Volume 12225 of LNCS, 512-538, Springer, 2020.|