- 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
Past semesters
- WS23/24: Reproducing Research Results in Formal Methods (Seminar)
- SoSe23: Datenstrukturen und Algorithmen (Vorlesung)
Awards
- ETAPS2024: Our paper Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (joint work with Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler) has received the EAPLS (European Association of Programming Languages) Best Paper Award.
Publications
Warning: SQLite3::prepare(): Unable to prepare statement: 5, database is locked in /var/www/html/inc/sqlite-access.php on line 428
Fatal error: Uncaught SQLiteAccessException: Could not prepare statement: REPLACE INTO publications (pub_id, type_id, title, year, pages, publisher, institution, arxiv_id, doi_id, fulltext) VALUES (:pub_id, :type_id, :title, :year, :pages, :publisher, :institution, :arxiv_id, :doi_id, :fulltext); in /var/www/html/inc/sqlite-access.php:433 Stack trace: #0 /var/www/html/inc/sqlite-access.php(64): dbAccess->prepare('REPLACE INTO pu...') #1 /var/www/html/inc/sqlite-access.php(45): dbAccess->prepareStmts() #2 /var/www/html/index.php(73): dbAccess->__construct('/var/www/html/d...', 1) #3 {main} thrown in /var/www/html/inc/sqlite-access.php on line 433
A list of publications is also available on my ORCID profile, on my dblp profile, and on my Google Scholar profile.
Peer Review
- FM 2024 (external reviewer)
- AAMAS 2024 (external reviewer)