Jun.-Prof. Dr. Kevin Batz

Since September 2026, I have been a junior professor of computer science at the University of Münster, where I lead the Programming Languages and Verification research group. Previously, I was a Postdoctoral Associate at Cornell University and a Senior Research Fellow at University College London. I completed my doctorate at RWTH Aachen University in December 2024 with distinction (summa cum laude).

Please also visit my personal website: https://kevinbatz.github.io/

Office hours

You are welcome to contact me by email at kevin.batz@uni-muenster.de.

  • Biography

    Since September 2026
    Junior professor of computer science at the University of Münster.

    January 2025 – August 2026
    Postdoctoral Associate at Cornell University, United States, with Prof. Dr. Alexandra Silva.

    February 2025 – December 2025
    Senior Research Fellow at University College London, United Kingdom, in the Programming Principles, Logic, and Verification Group with Prof. Dr. Alexandra Silva.

    May 2019 – December 2024
    Research and Teaching Assistant at RWTH Aachen University, Software Modeling and Verification Group, with Prof. Dr. Dr. h.c. Joost-Pieter Katoen.

    2019 – 2024
    Doctorate in computer science (Dr. rer. nat.) at RWTH Aachen University, summa cum laude. Dissertation: “Automated Deductive Verification of Probabilistic Programs”. Supervisor: Prof. Dr. Dr. h.c. Joost-Pieter Katoen. Defended on 20 December 2024.

    2017 – 2019
    M.Sc. in Computer Science at RWTH Aachen University, with distinction.

    2013 – 2017
    B.Sc. in Computer Science at RWTH Aachen University.

    Selected awards
    2026: Best Paper Award (FM); Distinguished Artifact Award (ESOP).
    2025: ETAPS Doctoral Dissertation Award; Borchers Medal.
    2023: Distinguished Artifact Award (OOPSLA).
    2020: Best Paper Award (LOPSTR).
    2019: Springorum Medal.

  • Publications

    My publications are listed in the DBLP bibliography:

    Kevin Batz's publications on DBLP