Hi—my name is Mitchell Kember. I’m a 2019 Software Engineering grad from the University of Waterloo. I currently live in San Mateo, California and work for Google on the Fuchsia operating system.

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