Matthias Volk

Matthias Volk is an Assistant Professor at Eindhoven University of Technology's Formal System Analysis group since October 2023. Previously, he was a postdoctoral researcher at the University of Twente and obtained his PhD from RWTH Aachen University with a thesis on Dynamic Fault Trees. He was also a doctoral researcher in the Research Training Group UnRAVeL and contributed to the ERC project FRAPPANT.

His research focuses on formal methods for safety-critical systems, specializing in probabilistic model checking, dynamic fault tree analysis, and reliability engineering. Key application domains include railway safety, autonomous systems, and infrastructure reliability. He develops tools like the Storm model checker, stormpy, and pycarl.

Volk's publications emphasize fault tree methodologies and probabilistic verification, with consistent focus on reliability engineering applications. His work demonstrates strong cross-pollination between theoretical computer science and industrial safety applications.

Awards:

• Best Paper Award at FMICS 2019 (railway infrastructure reliability)
• Prof. C.V. Ramamoorthy Best Paper Award at SRDS 2017 (self-stabilizing algorithms)

He has supervised 9+ students on topics including fault tree analysis, Petri nets, and model checking. Current advisees include Daniel Basgöze and Markus Miliats.

He leads research in the Formal System Analysis group and contributes to the Storm model checker development team.