Scholar
Matthias Volk
Google Scholar ID: PR9ZLjsAAAAJ
Assistant Professor, Eindhoven University of Technology
Citations & Impact
Citations
1,367
H-index
13
i10-index
19
Publications
20
Co-authors
46
list available
Publications
Resume (English only)
Academic Achievements
- Main Developer of the Storm Model Checker.
Research Experience
- Since October 2023, Assistant Professor at Eindhoven University of Technology in the Formal System Analysis group. Previously, Postdoctoral Researcher at the University of Twente.
Education
- PhD from RWTH Aachen University, Thesis on Dynamic Fault Trees.
Background
- Research Interests: Improving safety-critical systems through formal methods. Professional Field: Probabilistic model checking. Brief Introduction: I am a researcher aiming to enhance the safety and reliability of complex, safety-critical systems using formal methods.
Miscellany
- Contact: Email is the best way to reach me.
