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

My research interests include:

  • Probabilistic model checking
  • Multi-objective optimization
  • Synthesis of parametric probabilistic systems

I am a developer of the stochastic model checker Storm

Past activities

Teaching

current teaching activities:

previous teaching activities: