I am doing a double bachelor study of mathematics and computing science at the Radboud Universiteit in Nijmegen and I’m working as a Haskell developer at Channable.

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.