I am a PhD Student at Karlsruhe Institute of Technology (KIT) in Germany advised by Bernhard Beckert at the Application-oriented Formal Verification group. My research interests lie at the intersection of (deductive) software and AI verification with a focus on applications in Cyber-Physical Systems and Algorithmic Fairness.

I previously obtained a M.Sc. degree in Computer Science from KIT and completed my Master’s Thesis in the Logical Systems Lab at Carnegie Mellon University under the supervision of André Platzer. During my bachelor studies I spent a year abroad at ENSIMAG (Grenoble, France) and participated in the CERN Openlab Summer Student Program (Geneva, Switzerland).

Interests
  • Formal Methods
  • Software & ML Verification
  • Cyber-Physical Systems
  • Algorithmic Fairness
Education

  • PhD Student in Computer Science, 2022-present

    Karlsruhe Institute of Technology

  • Master's Thesis via interACT, 2022

    Logical Systems Lab, Carnegie Mellon Univeristy

  • M.Sc. in Computer Science, 2020-2022

    Karlsruhe Institute of Technology

  • ERASMUS Exchange, 2017-2018

    ENSIMAG, Grenoble

  • B.Sc. in Computer Science, 2015-2020

    Karlsruhe Institute of Technology

  • A Levels (Abitur), 2015

    Oskar-von-Miller-Gymnasium, München

Featured Publications
Revisiting Differential Verification: Equivalence Verification with Confidence
Next Steps in LLM-Supported Java Verification
Provably Safe Neural Network Controllers via Differential Dynamic Logic
An Information-Flow Perspective on Algorithmic Fairness
Recent / Upcoming Talks
See all

Experience

  1. PhD Student

    KASTEL / ITI Beckert, KIT

  2. Student Assistant for Software Safety Quantification Research

    ITI Beckert, KIT

    October 2020 - December 2020:
    Development of counterSharp: A tool for the quantification of C-programs based on specification adherence.
    Work published at QEST 2021 and also presented at the Model Counting Workshop 2022.

    April 2021 - October 2021:
    Development of a prototype for the quantiative reliability analysis of software coupling architectural and code-level information. Work published at SAC 2024

  3. Student Teaching Assistant for "Programmierparadigmen"

    IPD Snelting, KIT
    During the winter semesters 2019 and 2020 I was a student assistant for the lecture on programming paradigms by Prof. Gregor Snelting at KIT.
    My main duties were holding a weekly exercise and correcting exercise sheets.
    In 2020 the exercise was held entirely as an online course.
    Materials available

  4. CERN Openlab Summer Student

    EP-SFT, CERN

    Development of an export functionality for software from CernVM File System (CVMFS) into standalone images in cooperation with Nicholas Hazekamp, another intern in the group. The results of our work are now part of CVMFS in the cvmfs_shrinkwrap utility.

    Used Technologies: C(++), Python
    Information on the Project

  5. Student Assistant

    IT-Centre for the humanities, LMU

    Development of web applications and character or structure converters for various projects of the centre including “Biblia Hebraica Transcripta”, “VerbaAlpina”, “Coptic Ostraka Online, “Atlante linguistico digitale dell’Italia e della Svizzera meridionale”.

    Used technologies: HTML, PHP, JavaScript, Java, SQL, WordPress

Awards
Abitur prize of the German Physics Association (DPG)
DPG ∙ September 2016
One of the competition winners during the CERN Openlab lightning talks 2018
CERN Openlab ∙ August 2018
Scholarship holder at Cusanuswerk e.V.
Cusanuswerk e.V. ∙ January 2017
Awarded by the German Catholic Bishops’ Conference and funded by the German Federal Ministry of Science and Research as one of thirteen government funded scholarship foundations for academic excellence
Best Master’s Thesis in 2022/2023
Department of Informatics, KIT ∙ July 2023
Service

I contributed to reviewing activities in the following roles:

Conference Reviews: AAAI'24 (SRRAI Track), NeurIPS'24, AISTATS'25, ICML'25

Subreviews: LICS'25, FM'24 (x2), ICTAC'24, iFM'23, LICS'23

Journal Reviews: Sci. Comput. Program.