Research Areas

Teaching Schedule

Fall 2024

Spring 2025

Biography

Max Willsey joined UC Berkeley EECS in 2024 as an Assistant Professor. His research connects programming languages, databases, and formal methods to make it easier to build state-of-the-art program optimizers, synthesizers, and verifiers. He leads the development of the egg toolkit used by many research groups and companies, leading to several publications and two Distinguished Paper awards.

Education

  • 2021, PhD, Computer Science, University of Washington