Research Bio

Max Willsey is a computer scientist whose research bridges programming languages, formal methods, and databases. He develops tools and algorithms that enable computers to automatically generate, optimize, and reason about programs. His work focuses on equality saturation, program optimization, and automated reasoning systems that accelerate software and hardware design. He is best known for co-developing the egg framework for efficient equality saturation, which has become a widely adopted tool in programming languages research and industrial applications.

He is Assistant Professor in the Computer Science Division (EECS) at UC Berkeley, where he is a member of the Programming Systems Lab and teaches courses in compilers, programming languages, and computer systems.

Research Expertise and Interest

programming optimization, programming languages