Hi—my name is Mitchell Kember. I’m a Software Engineering student at the University of Waterloo. This past winter I worked at Bloomberg in New York City, and now I’m back in Waterloo for term 4A.

When I’m not studying, I read, listen to classical music, write blog articles, or go running. I also work on some side projects. Here are a few of them:

• 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
• Lam, a small λ-calculus language built in Haskell