Full Name
Armando Solar-Lezama
Job Title
Professor and Associate Director & COO
Company
MIT CSAIL
Brief Biography
Professor Armando Solar-Lezama is an Associate Director and the COO of MIT CSAIL. He also leads the Computer-Aided Programming Group, which aims to reduce the skill and effort required to develop software that is secure, reliable, and efficient. The group’s research ranges from the design of new analysis techniques and automated reasoning mechanisms to the development of new programming models that automate challenging aspects of programming.
Armando Solar-Lezama