I am a senior research engineer at Mozilla Research and an honourary research associate at Victoria University of Wellington. I work on the Rust compiler. Previously I worked on graphics and layout for Firefox and FirefoxOS. I supervise a PhD student (Paley Li) working on ownership types (programming language theory and language design). I was a phd student at Imperial College London and a research fellow at Victoria University of Wellington, my research was on programming language theory, mostly type systems.
cv (out of date); publications (also out of date).
I like swimming, Buddhism, free diving, coding, coffee, snowboarding, riding my motorcycle, rock climbing, scuba diving, yoga, walking, traveling to interesting places, reading, anime.