I have my Ph.D. in Science from Radboud University Nijmegen. I have my bachelor’s of mathematics in Pure Mathematics and Computer Science from the University of Waterloo.
I am a postdoctoral researcher in the Department of Computing and Software at McMaster University.
In the spring I also work at the Microsoft Research - Inria Joint Center on the Mathematical Components project.