You Are a Program Synthesizer

This course aims to teach learners about program synthesis and verification, providing insights that can be applied to everyday programming tasks. Participants will learn how to derive code from a specification, analyze code complexity using Hoare logic, and count code "states" using abstract interpretation. The teaching method involves explaining concepts through examples and practical applications. This course is intended for programmers interested in improving their coding skills and understanding the principles behind program synthesis and verification.