I’m actively looking for a PhD position on the topic of programming languages, compilers, or related areas. If you know of any opportunities or would like to discuss potential collaboration, please get in touch!

Hi, I'm

Martijn Voorwinden

Computer Science student interested in basically anything to do with Computer Science, but primarily programming languages theory, compiler construction, type and effect systems, and functional programming. In my free time I tend to tinker with small programming languages, compiler passes, or runtime systems, which I sometimes write about on my blog. Professionally I have experience with Haskell, Golang, and Typescript development, and have worked on both backend services and frontend applications. I am currently looking for PhD positions in the programming languages and compilers fields starting from Fall 2026. If you are interested in collaborating or have any questions, feel free to reach out to me!

P.s. currently working on Defunctionalisation for Haskell and a WasmGC backend for the MicroHs Haskell Compiler.

Recent Posts

View all posts →