About

I am a researcher interested in the formal verification of safety-critical systems.

I did my PhD at Technical University of Munich under the supervision of Jan Kretinsky. Then, I was a Marie Sklodowska-Curie fellow (IST-BRIDGE) at the Institute of Science and Technology Austria, working with Krishnendu Chatterjee; and a PostDoc in the AI-FM group lead by Nils Jansen at the Ruhr-University Bochum. In November 2026, I will start developing safe and efficient traffic light control at Bernard Technologies.

For more information about me, you can check out:

• my publications on dblp,
• my CV and publication list (last updated October 2026),
• or my thesis which summarizes the major research directions I pursue.