Unexpectedly this is how you and I meet!

I am a master student at Radboud in Nijmegen. I like both math and computer science!

Most of my time is spent on the internet and studying, sort of.

I like to experiment with programming languages from time to time and I read too much about programming and software. I really like interactive environments, starting with LISP and Scheme down to UNIX but by day I study mostly type theory or some mathematics.


I finally managed to get into one of those ambigous masters in which you study something from math and something from computer science. It’s called Mathematical Foundations of Computer Science, AKA MFOCS.

I really enjoyed discovering new course such as computability theory but the most fun has been proof assistants.