Mark van Wijk,
Ph.D. student on TruSTy since 2025
[DBLP]
Mark works on benchmarking as well as tools and algorithms for sound multi-objective probabilistic and statistical model checking.
Robert Modderman,
Ph.D. student on TruSTy since 2025
[DBLP]
The focus of Robert's research is on multiscale algorithms for model checking of Markov models, and on formally proving correctness of algorithms and implementations via interactive theorem proving.
Annabell Petri,
Ph.D. student on STORM_SAFE since 2024
In her research, Annabell applies formal methods to case studies from the STORM_SAFE project, and develops algorithms and tools to verify non-Markovian stochastic system models.
Past
Bram Kohlen,
Ph.D. student on Verified Probabilistic Verification, defended in 2026
[DBLP]
Bram developed the first fully verified probabilistic model checker, from abstract algorithms down to a fast implementation using floating-point arithmetic, using interactive theorem proving.
He moved to Secunet in Dresden, Germany, to work on software verification.