I am a senior engineer at PingCAP where I work on distributed systems and databases. Previously I worked on Rust's tools, language design, compiler, and leadership 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 for 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.
cv (out of date); publications (also out of date).
I like freediving (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 pool nationals in 2018), swimming, Buddhism, coding, coffee, snowboarding, rock climbing, scuba diving, yoga, walking, reading.