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.

My research focuses on quantitative aspects of software systems, aiming to develop lightweight and best-effort verification methods that explicitly balance precision against efficiency. I am broadly interested in runtime verification and formal methods, with a soft spot for automata theory.

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.