Matthias Volk is an Assistant Professor in the Formal System Analysis group at Eindhoven University of Technology (TU/e). His research goal is to improve the safety and reliability of complex, safety-critical systems using formal methods. In his research, Matthias Volk develops rigorous, automated techniques for modelling and analysing safety-critical systems, with a focus on probabilistic model checking. He is interested in providing optimised implementations in mature tools for use by other researchers, as well as applying the approaches in industrial collaborations.

Matthias Volk received his B.Sc. and M.Sc. degrees in Computer Science from RWTH Aachen University. He received his Ph.D. from RWTH Aachen University under the supervision of Joost-Pieter Katoen. He then worked as a postdoctoral researcher at the University of Twente. Since 2023, he is an assistant professor in the Formal System Analysis group at Eindhoven University of Technology.