Ich bin wissenschaftlicher Mitarbeiter an der Technischen Universität Darmstadt und arbeite auf meine Promotion hin, in der Software Engineering Gruppe von Prof. Reiner Hähnle. Mein Fokus liegt auf der formalen Verifikation von Rust Programmen mittels Dynamischer Logik und dem KeY System. Ich arbeite außerdem an formaler, Trace-basierter Semantik nach dem locally abstract, globally concrete (LAGC) Ansatz.

Außerdem arbeite ich (als freier Programmierer) für Typst; genauer an deren Bibliography-Tool Hayagriva.

Hier schreibe ich – sobald ich die Zeit finde – über alles, was mich interessiert. Dazu gehört Politik, Philosophie, Web-Entwicklung, Informatik und Open Source Software.

Du kannst mir auch auf Twitter oder LinkedIn folgen, falls du möchtest. Auch wenn ich selten aktiv bin.

Service

  • Poster und Demo Co-Chair für ECOOP 2027. 28. Juni – 2. July 2027, Turin, Italien.
  • Mitglied des Artifact Evaluation Committee der ETAPS 2027. 10. – 15. April 2027, Kopenhagen, Dänemark.
  • Organizer, KeY Symposium 2026. 5. – 7. August 2026, Berlin, Deutschland.
  • Mitglied des Artifact Evaluation Committee der Formal Methods 2026. 18. – 22. Mai 2026, Tokio, Japan.
  • Mitglied des Artifact Evaluation Committee der Formal Methods 2024. 9. – 13. September 2024, Mailand, Italien.

Projekte

  • Entwickler für den KeY Verifier
    • Teil des DFG Projektes “A Deductive Software Analysis Tool for the Research Community” von May 2023 – April 2026
    • Entwickler von RustyKeY, eine Version von KeY für Rust

Lehre

  • Seminar Deductive and Interactive Verification Tools, Wintersemester 2026 (Englisch).
  • Übungen für Formal Specification and Verification of Software, Wintersemester 2026 (Englisch).
  • Übungen für Formale Methoden im Softwareentwurf, Sommersemester 2026.
  • Seminar Deductive and Interactive Verification Tools, Wintersemester 2025 (Englisch).
  • Übungen für Formale Methoden im Softwareentwurf, Summersemester 2025.
  • Übungen für Formal Specification and Verification of Software, Wintersemester 2024 (Englisch).
  • Übungen für Formale Methoden im Softwareentwurf, Summersemester 2024.
  • Übungen für Formal Specification and Verification of Software, Wintersemester 2023.
  • Übungen für Formale Methoden im Softwareentwurf, Summersemester 2023.