This course will be a research seminar and project course exploring the interface between programming languages, software engineering and modern AI systems design with specific emphasis on validation and verification of AI systems.
Students are expected to read and present research material, videos, write critiques of specific articles, and participate in discussion.Projects may involve exploration of one or more aspects of papers in depth in a concrete application context.
- Trainer/in: Achref Jaziri
- Trainer/in: Visvanathan Ramesh
- Trainer/in: Konrad Wartke