I’m a post-doctoral researcher in computer science at the University of Washington.

In January 2024, I will start as an Assistant Professor in EECS at UC Berkeley.

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 (also at UW), 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.