I’m an Assistant Professor in EECS at UC Berkeley. My research aims to make program optimization more robust, powerful, and accessible. Along the way, I use techniques from programming languages, databases, and systems.

Check out these pages for info on my current projects:

I am recruiting PhD students this year

I am looking for students with strengths in some subset of compilers, databases, e-graphs, SMT solvers, theorem proving, and logic programming. You definitely don’t have to have mastery of all those things, but there’s a lot of fun work to do in the intersection.

People

I’m fortunate to work with great collaborators and students, including:

News

Teaching

Papers