About
 

Armando Solar-Lezama

Distinguished Professor of Computing, MIT Schwarzman College of Computing; Professor, Department of Electrical Engineering and Computer Science; Associate Director and COO, Computer Science and Artificial Intelligence Laboratory

Reseaarch Publications

Who they work with

Categories

AutoML Machine Learning Program Synthesis

Armando Solar-Lezama is a Distinguished Professor of Computing in the MIT Schwarzman College of Computing and a professor in MIT’s Department of Electrical Engineering and Computer Science (EECS). He is the associate director and COO in the Computer Science and Artificial Intelligence Laboratory (CSAIL), where he leads the Computer Assisted Programming Group. Solar-Lezama and his research group focus on program synthesis, a research area at the intersection of programming systems and artificial intelligence. On the one hand, program synthesis is about the use of automated reasoning and learning to bring more automation to the programming process. On the other hand, code provides a uniquely versatile modeling mechanism, so program synthesis can play a powerful role in helping to build learning systems that are more predictable and robust. Solar-Lezama earned a PhD from University of California, Berkeley.

Selected Publications

Media