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. Currently, I am a PostDoc in the AI-FM group lead by Nils Jansen at the Ruhr-University Bochum.

For more information about me, you can check out:

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