Email

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 logics for quantitative verification

Teaching

I am currently involved in the following teaching activities:

• Static Program Analysis (SS 20)

In the past, I have been involved in the following teaching activities:

• Concurrency Theory (WS 19/20)
• Semantics and Verification of Software (SS 19)

Supervision

I am supervising our student research assistant Philipp Schröer.

Moreover, I am currently supervising the following thesis projects:

• Florian Keßler, On the Decidability of Entailment Checking in Quantitative Separation Logics, Bachelor’s Thesis, 2020.

External Reviewer

Conferences

• QEST 2019

Publications