/mwillsey

Hi there 👋

I'm a professor at UC Berkeley in the EECS department.

Check out more at my website.

My current research focuses are program optimization and analysis, powered by techniques such as e-graphs, equality saturation, and datalog.