I’m currently working as a Haskell developer at Channable. After the summer, I will be starting a double bachelor study of mathematics and computing science at the Radboud Universiteit in Nijmegen.

I’m interested in functional programming with Haskell, type systems and type theory, compiler construction and formal verification using Agda.

This site is generated with Hakyll and its source is available on GitHub.