• Lecture 0: Administrivia
• Lecture 1: Introduction
• Lecture 2: Programming by Example
• Lecture 3: Intent Formalization
• Lecture 4: Formal Verification
• Lecture 5: Syntax-Guided Synthesis
• Lecture 6: Constraint-Based Synthesis
• Lecture 7: Inductive Learning
• Lecture 8: Search-Based Synthesis
• Lecture 9: Reactive Synthesis