Tim Quatmann

quatmann-2
Email
tim.quatmann at cs.rwth-aachen.de
Address
Room 4206
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21210

Research Topics

My research interests include:

  • Probabilistic model checking
  • Multi-objective optimization
  • Synthesis of parametric probabilistic systems
  • Systems with partial observability

I am a developer of the probabilistic model checker Storm

Research Activities

2023Artifact Evaluation Co-Chair for QEST 2023
2022Member of the Artifact Evaluation Committee for TACAS 2022
2021Member of the Artifact Evaluation Committee for CAV 2021
2020Member of the Artifact Evaluation Committee for TACAS 2020
2019 Co-organizer of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp)

Teaching Activities

SS 2023Model Checking
SS 2022Model Checking
WS 2021Theoretical Foundations of the UML
WS 2020Model Checking
SS 2020Datenstrukturen und Algorithmen
SS 2019Formale Systeme, Automaten, Prozesse
WS 2018Modeling and Verification of Probabilistic Systems
SS 2018Datenstrukturen und Algorithmen
WS 2017Theoretical Foundations of the UML
WS 2016Advanced Model Checking