Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

Armando Solar-Lezama leads the Computer Assisted Programming Group. The focus of his research is program synthesis, an exciting research area that lies 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 help bring more automation to the programming process. On the other hand, we believe 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.