The lecture "Introduction to Program Synthesis" covers its historical background, fundamentals and state-of-the-art methods used for program synthesis. It first sketches the historical background of computer programs and program synthesis, introduces the most fundamental dogmas prevalent in program synthesis, and covers the core basics of machine learning and optimization. The lecture then focuses on the fundamental understanding of basic (traditional) methods and concepts that have been proposed over time. The last part of the lecture addresses modern techniques that are based on contemporary machine learning and optimization concepts and are used for state-of-the-art applications. A video on the lecture is available here.
The scope of the lecture therefore combines a fundamental and formal understanding of computer programs in general, basic and traditional concepts that have been used in program synthesis, as well as modern (state-of-the-art) methods.
Lecture outline:
The lectures will take place at the Chair for Artificial Intelligence Methodology (Theaterstr. 35-39, room 325), on Wednesdays 12:30-14:00.
The working language is English.
Registration to the lecture is TBA.
Prof. Dr. Holger H. Hoos
Chair Holder, Alexander von Humboldt Professor
E-mail: hh[at]aim[dot]rwth-aachen[dot]de
Phone: +49 241 80 21451
Dr. Roman Kalkreuth
Assistant Professor (Akademischer Rat)
