I am a reasearch assistant of Computer Science at the Technical University of Darmstadt working towards my PhD under Prof. Reiner Hähnle in the Software Engineering Group. My main focus of study is formal verification of Rust programs using Dynamic Logic and the KeY system. I also work on formal, trace-based semantics following the locally abstract, globally concrete (LAGC) approach.

Additionally, I also work (as a part-time contractor) for the Typst team, in particular on its bibliography tool, Hayagriva.

On here I write about whatever interests me (once I find the time). This includes politics, philosophy, web development, computer science, and open source software.

You can also follow me on Twitter or LinkedIn, if you want. I rarely post, however.

Service

  • Poster and Demo Co-Chair at ECOOP 2027. June 28th – July 2nd 2027, Turin, Italy.
  • Member of Artifact Evaluation Committee at ETAPS 2027. April 10th – 15th 2027, Copenhagen, Denmark.
  • Organizer, KeY Symposium 2026. August 5th – 7th 2026, Berlin, Germany.
  • Member of Artifact Evaluation Committee at Formal Methods 2026. May 18th – 22nd 2026, Tokyo, Japan.
  • Member of Artifact Evaluation Committee at Formal Methods 2024. September 9th – 13th 2024, Milan, Italy.

Projects

  • Developer of the KeY Verifier
    • As part of the DFG Project “A Deductive Software Analysis Tool for the Research Community” from May 2023 – April 2026
    • Developer of RustyKeY, a version of KeY for Rust

Teaching

  • Seminar Deductive and Interactive Verification Tools, Winter Semester 2026.
  • Exercises for Formal Specification and Verification of Software, Winter Semester 2026.
  • Exercises for Formal Methods in Software Design, Summer Semester 2026 (German).
  • Seminar Deductive and Interactive Verification Tools, Winter Semester 2025.
  • Exercises for Formal Methods in Software Design, Summer Semester 2025 (German).
  • Exercises for Formal Specification and Verification of Software, Winter Semester 2024.
  • Exercises for Formal Methods in Software Design, Summer Semester 2024 (German).
  • Exercises for Formal Specification and Verification of Software, Winter Semester 2023.
  • Exercises for Formal Methods in Software Design, Summer Semester 2023 (German).