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
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.
My public keys are available on-line.