Latest News

• Course website is now live!! - Tue, Jan 6th

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

• 📖 Syllabus
• 📂 Assignments
• 📑 Lecture Notes
• 📚 References
• 🛠️ Project

Lectures

TuTh 9-10:15am (BHEE 224)

Instructor

Xiaokang Qiu

• Office: BHEE 329
• Email Address: xkqiu (at) purdue (dot) edu
• Office Hours: Tu 1:45-2:45, F 10:30-11:30