果冻传媒

Matthias Volk is an Assistant Professor in the Formal System Analysis group at Eindhoven University of Technology (果冻传媒). 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.