I'm a PhD candidate at UC Berkeley studying programming language design. I work on Halide with my adviser, Jonathan Ragan-Kelley. 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 play guitar and like to cook.