I am a Ph.D. student in the Foundations Group at the Radboud University Nijmegen. I have my bachelor’s of mathematics in Pure Mathematics and Computer Science from the University of Waterloo.