E-Mail: email@example.com [gpg]
I am an Assistant Professor at the University of Amsterdam.
Please see my official homepage for information on my research and other activities.
I worked as a graphics programmer on Splinter Cell: Chaos Theory and Splinter Cell: Conviction.
Colibri is a program launcher that I developed many years ago.
- Some of my code is online on GitHub: here and here
- Undergraduate research on combining first-order logic with first-class types [paper] [slides]
- Seminar talks given during my undergraduate studies in mathematics
- Notes from my TA classes