Max Willsey
Research Areas
Teaching Schedule
Spring 2024
- CS 294-260. Declarative Program Analysis and Optimization, MoWe 14:30-15:59, Soda 405
Fall 2024
- CS 265. Compiler Optimization and Code Generation, TuTh 14:00-15:29, Soda 405
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
