Andres Löh, Edsko de Vries
Wednesday, 06 November 2024
Based in | The Hague, Netherlands |
Email: | edsko@well-typed.com |
Edsko has been using Haskell for nearly 20 years, and has been a professional Haskell consultant with Well-Typed for roughly half that time. He holds a PhD in advanced (substructural) type systems for pure functional languages from Trinity College, Dublin.
As a Well-Typed consultant, he has provided training across the world, from
Johannesburg to Boston to Singapore. He has worked on a large variety of
projects, both open source as well as closed source for specific clients. Some
of the open source projects he has contributed to are Cloud Haskell, Hackage,
the Hackage security library, ghc, Ziria (a DSL developed by Microsoft) and
cabal. Some general purpose libraries he has (co)developed include
generics-sop
, nothunks
, recover-rtti
and large-records
.
The last few years he has worked as a consultant with IOHK on the Cardano blockchain, where he was responsible for the overall architecture of the consensus layer, designed the hard fork combinator, and did research on formal specification of a crypto wallet and invented a novel coin selection algorithm.
Before joining Well-Typed, Edsko worked as a post-doctoral researcher at Trinity College, studying process calculi.