About Me

I’m Martijn Voorwinden, a Computer Science master’s student at Utrecht University specialising in Software Technology, with a focus on programming languages and compilers. Before that I completed my bachelor’s at HU University of Applied Sciences, with a minor at Utrecht University.

My main interests lie in programming language theory, compiler construction, type and effect systems, and functional programming. In my free time I like to tinker with small programming languages, compiler passes, and runtime systems. I’m currently working on my thesis (building a WasmGC backend and runtime for the MicroHs Haskell compiler) and defunctionalisation for Haskell (monovariant and LSS).

Professionally I’ve worked as a software developer at Digitect, mostly working on the backend of EC-API-Design, but also doing some work on the frontend and overall architecture. Before that I interned at Deloitte, where I built a tool for automatically generating architecture diagrams from Mule4 source code.

What You’ll Find Here

This site serves as my personal corner of the internet where I write about topics that interest me on my blog. Other than that you can find my curriculum vitae with details on my background.

In the future I might add pages about for example my projects, research, or other topics of interest, but for now this is it.

Get in Touch

Feel free to reach out, I’m always happy to talk about programming languages, type systems, or other topics. You can find me on GitHub, LinkedIn, or drop me an email at martijnvoorwinden@hotmail.nl.