I'm a programming languages researcher at MIT. I'm currently looking for full time positions to work on software performance and programmer productivity.

I am a maintainer of the Halide programming language. I also work on Koka, specifically the Perceus reference counting system. In the past, I wrote the compiler for the P programming language at Microsoft.

I got my PhD in Computer Science from UC Berkeley, advised by Jonathan Ragan-Kelley.

I play guitar and I'm a bit of a food science nerd.