| Course | Bachelor / Master | Teacher |
|---|---|---|
| Compiler Construction | B/M | Noll, Junges, Matheja, Volk |
| Verification and Static Analysis of Software (Seminar) | B/M | Noll et al. |
| Implementation of Heuristic Algorithms for Board Games (Practical Course) | B | Berger, Bruintjes |