Edsko De Vries
Haskell Consultant at Well-Typed LLP
The Hague, South Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolEdsko De Vries is a Haskell consultant with 19 years of software engineering experience and a PhD in theoretical computer science focused on type systems and concurrent programs. Based in The Hague, he blends deep academic rigor from postdoctoral research with practical engineering, contributing to core Haskell infrastructure like Cabal and GHC and to blockchain projects such as Cardano's ledger and node code. At Well-Typed he designs software, architects systems, and teaches bespoke Haskell courses, while his open-source work shows hands-on improvements to build systems, performance benchmarks, and message-queue robustness. Notably, his contributions span both compiler internals and distributed-system diagnostics, reflecting a rare combination of language-level expertise and systems pragmatism.
19 years of coding experience
Doctor of Philosophy (Ph.D.), Theoretical Computer Science, Doctor of Philosophy (Ph.D.), Theoretical Computer Science at Trinity College, Dublin
Dutch, English, Chinese
Github Skills (30)
benchmark10
package-management10
compiler-development10
testing10
benchmarking10
build-system10
ledger10
network-programming10
data-structure10
implement10
cardano10
template-haskell10
tcp10
blockchain10
ghc10
Programming languages (19)
Github contributions (5)
haskell-distributed/distributed-process
Apr 2012 - Dec 2012
Cloud Haskell core libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:549 commits, 10 comments, 3 issues in 8 months
Contributions summary:Edsko extended test coverage to identify and address a bug in the pipes transport layer, improving its resilience. They implemented a C version of a ping test, including the calculation of average and standard deviation for round-trip latency measurements. Furthermore, the user modified the benchmarks to output latency metrics for data visualization, which suggests contributions towards improving the system's performance analysis capabilities.
cloud-haskellhaskelldistributed-systems
haskell/hackage-server
Nov 2012 - Jul 2021
Hackage-Server: A Haskell Package Repository
Role in this project:Back-end Developer
Back-end DeveloperContributions:216 commits, 11 PRs, 1 push in 8 years 9 months
Contributions summary:Edsko contributed to the Haskell Package Repository by adding support for newer versions of the Alex build tool and removing bounds on the Cabal library for testing purposes. They implemented human-readable descriptions for features and resources within the project. Furthermore, the user addressed code style issues by removing trailing whitespace and contributing to improved code readability.
hackagehaskellpackage-repositorycabal
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.