I'm a programming languages researcher at Qualcomm AI Research. My opinions are my own.
I am a maintainer of the Halide programming language. In the past, I worked on Koka, specifically the Perceus reference counting system. I also wrote the compiler for the P programming language at Microsoft.
I got my PhD in Computer Science from UC Berkeley in 2022, advised by Jonathan Ragan-Kelley.
I play guitar and I'm a bit of a food science nerd.
Top Questions