IOHK | Team

Edsko de Vries

Edsko de Vries
  • Software Engineer
  • Well-Typed


Edsko de Vries started programming at a very young age and has been using Haskell since 2004. He has worked with IOHK as a Well-Typed consultant since 2017.

He holds a PhD in advanced (substructural) type systems for pure functional languages such as Haskell from Trinity College Dublin. After his PhD he worked as a postdoctoral researcher on proving the properties of polytypic (generic Haskell) functional programs, and of concurrent programs. As part of that research he developed a high-level language construct called Communicating Transactions for distributed automatic error recovery in message-passing languages such as Erlang or Cloud Haskell.

His works have been widely published, including in the Journal of Functional Programming and the International Conference on Concurrency Theory.

E7A7 7CFA 89BD B805 F206 078C 0E11 ED75 F746 54D4

Edsko de Vries