My name is Mitchell Kember—I’m a Canadian student in my 1B term of Software Engineering at the University of Waterloo. Get in touch with me at, or take a look at my résumé.

When I’m not in class, I study, write code, read, or go running. Lately I’ve been working on a proof assistant called SPA. Check out my GitHub profile to see other projects I’ve worked on. The books I’m reading right now include Structure and Interpretation of Computer Programs, The Best Writing on Mathematics 2012, The Autobiography of Bertrand Russell, Oliver Twist, and La Chute.