I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University and a member of the Graduate School of Computer Science.

I am working on formal methods for the verification of hardware and software systems and on techniques that allow the verification of hyperproperties on these systems.