Armando Solar-Lezama

Professor Armando Solar-Lezama, an Associate Director and the COO of MIT CSAIL who leads the Computer-Aided Programming Group aims to reduce the skill and effort required to develop secure, reliable, and efficient software. 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 designing new analysis techniques and automated reasoning mechanisms to developing new programming models that automate challenging aspects of programming.