I’m an (incoming) Assistant Professor in EECS at UC Berkeley. I am recruiting PhD students this application cycle to start in Fall 2024. Please apply here.

My research aims to make program optimization more robust, powerful, and accessible. Along the way, we use techniques from programming languages, databases, and systems. My current focus is egg, a toolkit for program optimization and synthesis powered by e-graphs and equality saturation. We’ve applied it to some really fun domains like improving floating point accuracy, shrinking 3D models, and linear algebra optimization.

During my PhD and postdoc at the University of Washington, I worked mostly in programming languages (PLSE group). I also enjoyed collaborating with friends in molecular systems (MISL), where I worked on programming models for microfluidic chips.