Max Willsey
Research Areas
Teaching Schedule
Fall 2024
- CS 265. Compiler Optimization and Code Generation, TuTh 14:00-15:29, Soda 405
Spring 2025
- CS 164. Programming Languages and Compilers, TuTh 12:30-13:59, Physics Building 4
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