Max Willsey

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.