Armando Solar-Lezama

Associate Professor, Electrical Engineering and Computer Science; Lead, Computer Assisted Programming Group,

Armando Solar-Lezama is an associate professor in MIT’s Department of Electrical Engineering and Computer Science. He is the associate director and chief operating officer of the Computer Science and Artificial Intelligence Laboratory, where he also 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.