- Formal Methods
- Software Engineer
Matthias holds a Ph.D in Computer Science from the Otto-von-Guericke University Magdeburg. He worked one year as post-doc at INRIA Rhône-Alpes on the topic of verification of business process models. Before joining IOHK he worked on formal verification of software for autonomous light rail at Systerel, France and on using software model-checking for automated test-case generation for Java at Diffblue, UK.
1FF0 1776 D52E 0D19 40F5 E137 734E CFFF 51BE A8B5