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.
My work focuses on runtime verification using the stream-based specification language RTLola. In my research I explore the intersection of runtime monitoring and privacy.
