Tim Quatmann

Tim Quatmann is a researcher at RWTH Aachen University's Department of Computer Science, affiliated with the Faculty of Mathematics, Computer Science, and Natural Sciences. He focuses on probabilistic model checking, multi-objective optimization, and formal verification of parametric probabilistic systems. His work addresses challenges in systems with partial observability and parameter synthesis for Markov models. Quatmann is a core developer of the Storm probabilistic model checker, a widely used tool in formal verification.

Education: He earned his Ph.D. in 2023 from RWTH Aachen University, with a dissertation titled Verification of multi-objective Markov models.

Research Interests: Quatmann's research bridges theoretical foundations and practical tool development, emphasizing scalable algorithms for probabilistic systems. His work includes optimizing MDP model checking algorithms, parameter space exploration, and improving accuracy in computing probabilistic metrics like expected visiting times. He has contributed to the Storm project, QComp competitions, and tool benchmarking efforts.

Teaching: He has taught courses such as Model Checking, Probabilistic Systems Verification, and Theoretical Foundations of UML, reflecting his expertise in formal methods and theoretical computer science.

Labs/Teams: He collaborates with the MOVES group (Model-Based Software Verification and Self-Adaptive Systems) at RWTH Aachen, contributing to advancements in probabilistic verification and automated reasoning.