I’m a fourth-year computer science graduate student at UC Berkeley. I work with Jonathan Ragan-Kelley on Halide, a domain specific programming language embedded in C++ for optimizing array code, ie. image processing, machine learning, dense linear algebra, and more!

In the past, I worked on Microsoft’s P compiler for modeling concurrent protocols.