- gerlach at cs.rwth-aachen.de
- Phone
- +49 241 80 21234
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
I am a PhD student in the DFG research training group UnRAVeL. My supervisors are Prof. Dr. Erika Ábrahám and Prof. Dr. Joost-Pieter Katoen. I am interested in probabilistic hyperproperties [1, 2, 3] and stochastic games.
Teaching Assistance
- Seminar: Satisfiability Checking / Formal Methods (WS22/23, SS23)
- Seminar: Formal Methods (WS23/24)
- Lecture: Modeling and Analysis of Hybrid Systems (SS24)
Publications