April 3, 2023 at 6:00PM Slides
Abstract
The ability of AI to write code is likely to transform software development, but it can do much more than that.
By allowing machines to use code as a form of knowledge representation, it is possible to develop AI that is more reliable, more introspective and ultimately more useful.
In this talk I will describe how program synthesis and AI can build on each other to provide new and powerful capabilities.
Bio
Prof. Armando Solar-Lezama is a professor of Electrical Engineering and Computer Science and Associate Director of the Computer Science and Artificial Intelligence Lab (CSAIL) at MIT. He is best known for his work on program synthesis and the development of the Sketch program synthesis system. He is currently the lead PI of the NSF funded Expeditions project “Understanding the World through Code” and is also the founder of PlaySkript™, an online platform for creating interactive presentations.