Max Willsey: Faculty Home Page

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.