I am a Ph.D. student at the Saarbrücken Graduate School of Computer Science at Saarland University, Germany, working in the Reactive Systems Group led by my supervisor Bernd Finkbeiner.

I am interested in hyperproperties and causality. I am working on formal methods for the verification of hyperproperties on hardware and software systems, different logics for the expression of hyperproperties, and the connection between counterfactual causality and hyperproperties. To make these formal techniques more accessible, I provide tutorials and online interfaces that leverage visualization techniques.

News

I am the Workshop Co-Chair of CREST 2026!

I am the Publicity Co-Chair for CAV 2024!

Our paper Smart Contract Synthesis Modulo Hyperproperties won the Distinguished Paper Award at CSF 2023!

I am a PC member of the CREST 2023 workshop at ETAPS!

I am joining AWS in London, UK as an Applied Scientist Intern for the Summer’22!

I am participating as a panelist in a discussion on Career Paths in Academia (Computer Science) at the 8th HLF in 2021!

I am the Publicity Chair for CAV 2021!