Jun.-Prof. Dr. Kevin Batz

Seit September 2026 bin ich Juniorprofessor für Informatik an der Universität Münster und leite die Arbeitsgruppe „Programmiersprachen und Verifikation“. Zuvor war ich Postdoctoral Associate an der Cornell University und Senior Research Fellow am University College London. Im Dezember 2024 habe ich an der RWTH Aachen mit Auszeichnung (summa cum laude) promoviert.

Besuchen Sie auch meine persönliche Website: https://kevinbatz.github.io/

Sprechstunde

Kontaktieren Sie mich gerne per E-Mail: kevin.batz@uni-muenster.de.

  • Vita

    Seit September 2026
    Juniorprofessor für Informatik an der Universität Münster.

    Januar 2025 – August 2026
    Postdoctoral Associate an der Cornell University, USA, bei Prof. Dr. Alexandra Silva.

    Februar 2025 – Dezember 2025
    Senior Research Fellow am University College London, Großbritannien, in der Programming Principles, Logic, and Verification Group bei Prof. Dr. Alexandra Silva.

    Mai 2019 – Dezember 2024
    Wissenschaftlicher Mitarbeiter in Forschung und Lehre an der RWTH Aachen, Software Modeling and Verification Group, bei Prof. Dr. Dr. h.c. Joost-Pieter Katoen.

    2019 – 2024
    Promotion in Informatik (Dr. rer. nat.) an der RWTH Aachen, summa cum laude. Dissertation: „Automated Deductive Verification of Probabilistic Programs“. Betreuung: Prof. Dr. Dr. h.c. Joost-Pieter Katoen. Verteidigung am 20. Dezember 2024.

    2017 – 2019
    Masterstudium Informatik an der RWTH Aachen, Abschluss mit Auszeichnung.

    2013 – 2017
    Bachelorstudium Informatik an der RWTH Aachen.

    Ausgewählte Auszeichnungen
    2026: Best Paper Award (FM); Distinguished Artifact Award (ESOP).
    2025: ETAPS Doctoral Dissertation Award; Borchers-Medaille.
    2023: Distinguished Artifact Award (OOPSLA).
    2020: Best Paper Award (LOPSTR).
    2019: Springorum-Denkmünze.

  • Publikationen

    Meine Publikationen finden Sie in der bibliografischen Datenbank DBLP:

    Publikationsliste von Kevin Batz bei DBLP