Please see my official homepage for information on my research on quantum information at the University of Amsterdam.

Other Resources

Some of my code is online
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