Intro

1. Core Lectures - 9 CP

1.1. Computer Graphics

1.2. Image Processing and Computer Vision

1.2.1. The course

1.2.2. Study Group

1.3. Artificial Intelligence Core Lecture

1.4. Verification

2. Advanced and Specialized Lectures

2.1. Introduction to Image Acquisition Methods - 4 CP

2.2. Elements of Statistical Learning - 6 CP

2.3. Language Based Security - Advanced Course - 6 CP

2.4. Semantics of Higher Order Logics (HOL) - Advanced Course - 6 CP

2.5. Stochastic Hybrid Systems

2.6. Computation in Systems Biology -Seminar - 7 CP

2.7. Graph Theory - Advanced Course

2.8. Evolutionary Algorithms

2.9. Pattern and Speech Recognition - 6 CP

2.10. Numerical Algorithms for Visual Computing II - 6 CP

3. Seminars

3.1. Searching With Suffix Arrays - Seminar - 8 CP

3.2. Security and Privacy in Decentralized Networks - Seminar - 7/8 CP

3.3. Game Theory - Seminar (German talks) - 8 CP

3.4. AI - Tools - Seminar

3.5. Seminar on Computational Topology