$ whoami
I graduated with a Master’s degree in Computing Science from Utrecht
University. In my final
thesis, I gave a
formalized proof of correctness of a forward-mode automatic differentiation
transformation for lambda calculi. My interests include programming language
theory and functional programming.
I have been interested in programming ever since I can remember. I think this
interest stems from my love of problem-solving and me gluing myself to a
computer screen the majority of my not yet long life. My childhood was filled
with me being bored at school and rejoicing at the idea of getting home and
playing some
video
games.
My humor usually includes a lot of hyperboles with a boatload of
self-deprecation, but if it appears in my writing though, is a different matter.