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