Build with Azure OpenAI, Copilot Studio & Agentic Frameworks — Microsoft Certified
Python, Prompt Engineering, Data Science — Build the Skills Employers Want Now
Overview
Syllabus
Intro
Beyond Software Engineering
Syntax Guided Synthesis
Synthesis today
Synthesis but backwards
Modeling systems with synthesis
Cell fate decision in C. elegans
Data: Mutation Experiments
Model synthesis
Language Morphology
Language Phonology
Infering Morphophonology rules
Controllers for repetitive motions
Inductive generalization
Solution: Add program structure
Training performance
Beyond software development
Basic program synthesis
Example: LOGO Graphics
DreamCoder Algorithm
Abstractions in Synthesis
Abstraction Dream
Learned subroutines
Learning deep hierarchies
Domains
Conclusion
Taught by
INSAIT Institute