Most recently, I worked as a principal software engineer at Microsoft where I worked on Rust. Previously, I was a senior engineer at PingCAP where I worked on distributed systems and implementing databases. I worked on Rust tools, language design, compiler, and governance as a staff research engineer at Mozilla; I was a member of the Rust core team and led the dev-tools team, amongst other responsibilities. Before that, I worked on graphics and layout in Firefox.
I was a research fellow at Victoria University of Wellington and a PhD student at Imperial College London. My research was on programming language theory, mostly type systems. I supervised a PhD student, Paley Li, as well as BSc and MSc students, and taught courses on programming and programming theory.
I like freediving: I started Christchurch Freediving Club and was the founding president; I was part of the Lazy Seals Freediving Club committee). I've taught new divers, organised training and competitions, and competed at a national level. I also like running, swimming, Buddhism, travel, coffee, skiing and snowboarding, bouldering, scuba diving, yoga, hiking, and reading.
I live in Wellington, New Zealand.