I'm a principal engineer at Microsoft where I work 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 am the founding president of the Christchurch Freediving Club. I was part of the Lazy Seals Freediving Club committee and was involved with teaching new divers, and organising training and competitions; I've competed at a national level - I won overall 3rd place at the NZ pool nationals in 2018). I also like swimming, running, Buddhism, coding, coffee, skiing and snowboarding, rock climbing, scuba diving, yoga, walking, and reading.