Armando Solar-Lezama

简介

Professor Armando Solar-Lezama, who is an Associate Director and the COO of MIT CSAIL and leads the Computer-Aided Programming Group, aims to reduce the skill and effort required to develop software that is secure, reliable, and efficient. One of his research group’s central contributions to this goal is the development of new approaches to software synthesis that can combine information from different sources to produce the code that the programmer wants. 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.