Armando Solar-Lezama

Registered user since Mon 10 Jun 2019

Name:Armando Solar-Lezama

Armando Solar-Lezama is a professor of Electrical Engineering and Computer Science and Associate Director and COO of the Computer Science and Artificial Intelligence Lab (CSAIL) at MIT. He is best known for his work on program synthesis and the development of the Sketch program synthesis system. He is currently the lead PI of the NSF funded Expeditions project “Understanding the World through Code” and is also the founder of, an online platform for creating interactive presentations.

Affiliation:Massachusetts Institute of Technology


POPL 2022 Better Learning through Programming Languages
Session Chair of Dynamic Analysis (part of POPL)
Session Chair of Reasoning about Probabilistic Programs and Algorithms (part of POPL)
Show activities from other conferences

POPL 2022-profile
View general profile