About me
I’m a Postdoctoral Researcher at the Institute of Science and Technology Austria (ISTA) in Tom Henzinger’s group. I earned my PhD at TU Wien, supervised by Ezio Bartocci.
During my PhD, I investigated the challenges of designing and verifying information-flow requirements specified as hyperproperties (i.e., properties specifying relations across multiple executions of a system). My current research builds on this foundation and spans three main directions: compositional design and verification of systems, expressiveness of languages for relational verification, and runtime verification of hyperproperties.
I’m motivated by the belief that a unified approach to the verification of hyperproperties can have a broad impact in many domains, such as computer security, concurrent and distributed systems, and cyber-physical systems.
📣 News
- Aug 2026: Reasoning About Hyperproperties with Automated Theorem Provers accepted at LPAR.
- Aug 2026: Monitoring Hyperproperties over Observed and Constructed Traces accepted at RV.
- Jul 2026: Co-organizing the HYPER workshop at FLoC
- Feb 2026: Co-organizing the Logic Mentoring Workshop at CSL.
- Dec 2025: Extended version of Hypernode Automata published at Acta Informatica.
- Sept 2025: Flavors of Quantifiers in Hyperlogics acepted at FSTTCS’25. See you in Goa!
- Sept 2025: Dagstuhl Seminar on Hyperproperties accepted 🎉 !
- Aug 2025: Gray-box runtime enforcement of hyperproperties published at Acta Informatica.
- July 2025: Monitoring Hypernode Logic Over Infinite Domains accepted at RV.