Matthias Volk

Assistant Professor, Formal System Analysis group, Eindhoven University of Technology


I am a researcher interested in the improvement of safety-critical systems through formal methods.

Since October 2023, I am an Assistant Professor at Eindhoven University of Technology and part of the Formal System Analysis group. Before, I was a postdoctoral researcher at University of Twente. I received my PhD from RWTH Aachen University with a thesis on Dynamic Fault Trees.

Research goal

My research goal is to improve the safety and reliability of complex, safety-critical systems through formal methods. Certifying that systems, such as autonomous vehicles, smart grids, and robotic systems, operate safely and reliably is a major challenge today. My aim is to

  1. develop rigorous, automated techniques for modeling and analyzing safety-critical systems,
  2. provide optimized implementations in mature tools for use by other researchers, and
  3. apply the approaches in industrial collaborations.

In my research, I focus primarily on probabilistic model checking, and I am a main developer of the Storm model checker.


No news so far...