IOHK | Team

Matthias Güdemann

Matthias Güdemann
  • Formal Methods
  • Software Engineer

Augsburg, Germany

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

Matthias Güdemann