Armando Solar-Lezama

Professor, Electrical Engineering and Computer Science; Associate Director and COO, Computer Science and Artificial Intelligence Laboratory

Armando Solar-Lezama is a professor in MIT’s Department of Electrical Engineering and Computer Science. He is the associate director and COO in the Computer Science and Artificial Intelligence Laboratory, 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