Over the years, I've built and contributed to quite a few open source software. Here are some of the projects I'm most proud of.

Academic work

I have a bachelor's and a master's degree in Computer Science from Radboud University in Nijmegen.

My bachelor's thesis, The Power of Wobbly Types (2006), explored type inference in Haskell — specifically how the compiler uses "wobbly" types to provide better error messages when dealing with GADTs.

My master's thesis focused on domain-specific languages and code generation. Looking back, it fits a pattern. The interest in language design, tool building, and the developer experience were there from the start.