I am a postdoctoral researcher in computer science at the CISPA Helmholtz Center for Information Security, working in the Reactive Systems Group led by Bernd Finkbeiner. Before that, I completed my PhD in 2025 at the Institute of Science and Technology Austria (ISTA) under the supervision of Tom Henzinger.

I study how to verify complex systems efficiently when computational resources are limited. My work on resource-aware quantitative verification makes the tradeoff between precision and resources explicit and analyzable. More broadly, I work in runtime verification and formal methods, often using automata-theoretic techniques.

News

Oct ‘25. I joined the Reactive Systems Group at CISPA Helmholtz Center for Information Security as a postdoctoral researcher.

May ‘25. Our paper Quantitative Language Automata is accepted for publication at CONCUR 2025.

Apr ‘25. Our paper Safety and Liveness of Quantitative Properties and Automata is published in LMCS Vol. 21, Iss. 2.

Dec ‘24. Our tool demonstration paper Automating the Analysis of Quantitative Automata with QuAK is accepted for publication at TACAS 2025.

Sep ‘24. Our paper QuAK: Quantitative Automata Kit will appear in ISoLA 2024 as an invited paper.