About
I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. I am also a member of the Graduate School of Computer Science.
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.
