Email

hannah.mertens at cs.rwth-aachen.de

Address

Room 4207
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21203

I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.

Research

My research focuses on compositional verification of probabilistic systems, in particular parametric Markov models and stochastic games.

Teaching

Current semester

• WS23/24: Reproducing Research Results in Formal Methods (Seminar)

Past semesters

• SoSe23: Datenstrukturen und Algorithmen (Vorlesung)

Publications

A list of publications is also available on my ORCID profile.

Peer Review

• AAMAS 2024 (external reviewer)