Dr. Max Willsey

Assistant Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Max Willsey. Improve your application with a focused, well-structured draft.

Biography

Max Willsey joined the University of California, Berkeley as an Assistant Professor in the Department of Electrical Engineering and Computer Sciences (EECS) in 2024. His research integrates programming languages, databases, and formal methods to facilitate the creation of state-of-the-art program optimizers, synthesizers, and verifiers. He leads the development of the Egg toolkit, which is employed by various research groups and companies. Throughout his career, he has been recognized for his influential publications, receiving Distinguished Paper awards. He completed his PhD in Computer Science at the University of Washington in 2021.

Research Interests

Programming Languages Databases Formal Methods

Courses

CS 263. Design of Programming Languages

Requirements for University of California, Berkeley

Doctorate Program
Requirements
GPA Requirement
Required:3
GRE Subject
Overall Score
Required:500
Overall
Required:500
TOEFL
Total
Required:90
IELTS
Overall
Required:7
Prerequisites
Bachelor's degree or recognized equivalent Preparation comparable to undergraduate major at Berkeley in Mathematics or Applied Mathematics 2 full years lower-division work (Calculus, Linear Algebra, Differential Equations, Multivariable Calculus) 8 one-semester upper-division courses (Real Analysis, Complex Analysis, Abstract Algebra, Linear Algebra)
Application Checklist
  • Graduate Application
  • Statement of Purpose
  • Personal History Statement
  • Three Letters of Recommendation
  • Unofficial Transcripts
  • C.V./Resume
  • Course and Textbook List
Specialization Notes

The Mathematics Subject GRE is required for the Fall 2026 admissions cycle. General GRE is optional.