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

Apr ‘26. Our paper Extending QuAK with Nested Quantitative Automata is accepted for publication at CAV 2026.

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.