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

I am seeking tenure-track faculty positions in the 2022-2023 cycle. Please see my application materials here.

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.