I’m currently in the final year of secondary school in the Netherlands. Next year, 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 GitLab.