- hannah.mertens at cs.rwth-aachen.de
- Address
- Room 4207
Ahornstraße 55
D-52074 Aachen
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.
Research
My research focuses on model checking of probabilistic systems, in particular (parametric) Markov models and stochastic games.
Teaching
Current semester
- Datenstrukturen und Algorithmen (Vorlesung)