- kevin.batz at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +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
Teaching
I am currently involved in the following teaching activities:
In the past, I have been involved in the following teaching activities:
Supervision
I am supervising our student research assistants Philipp Schröer and 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.
External Reviewer
Conferences
Publications
| 2019 | |
|---|---|
[bibtex]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs, Proceedings of the ACM on programming languages 3 (POPL), pages 34, 2019. |
| 2018 | |
|
[bibtex]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times, 27th European Symposium on Programming (ESOP 2018), LNCS, pages 186-213, Springer, 2018. |
|
[bibtex]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs, 2018. arXiv:1802.10467 |