About
I am a Ph.D. student in the Reactive Systems Group at CISPA Helmholtz Center for Information Security and Saarland University and a member of the Graduate School of Computer Science.
I work on runtime verification with stream-based logic, focusing on the RTLola monitoring framework. My research combines runtime verification with measurement noise models to enhance monitor robustness in real-world environments.
