I am a postdoctoral researcher at the CISPA Helmholtz Center for Information Security and a visiting researcher at the Technical University of Munich (TUM), 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

Feb ‘26. My MSCA Postdoctoral Fellowship project Quantitative Hyperproperties: Specification, Taxonomy, and Runtime Monitoring (QHyperSTAR) has been selected for funding!

Feb ‘26. Our paper Quantitative Monitoring of Signal First-Order Logic is accepted for publication at FM 2026.

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.