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

In this episode

Produced By: Nate Caldwell

CSAIL Professor Armando Solar-Lezama shares his insights on Program Synthesis.

A full transcript of this podcast can be viewed here.

About the speakers

Professor, MIT EECS
Associate Director and COO, CSAIL

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.