Skip to the content.

Latest News

Course Description

This course introduces program synthesis, one of the most central research problems in computer science and AI. This course will cover state-of-the-art approaches to the problem including recent AI-powered advancements as well as open problem in the area.

Course Details

All students in both on-campus and online sections will have access to these online course materials:

Lectures

Mondays and Wednesdays 2-3:15pm (Building 302, Room 106)

Instructor

Xiaokang Qiu