Hi—my name is Mitchell Kember. I’m a Software Engineering student at the University of Waterloo. This past fall I interned at Facebook, and now I’m back in Waterloo for my final school term.

Here are a few projects I’ve worked on in the past:

• Eva, a Scheme interpreter written in C
• Analysis I, a formalization of an analysis textbook in Lean
• Lindenmayer, a fractal curve web app powered by Go