| Course | Teacher |
|---|---|
| Bachelor-Vorlesung: Datenstrukturen und Algorithmen |
Ábrahám, Corzilius, Schupp, Ströder |
| Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern |
Ábrahám, Nellen |
| Master-Praktikum / Practical Course: Optimierung eines Solarturmkraftwerks: Validierung und Vergleich |
Ábrahám, Richter, Frank |
| Seminar: Satisfiability Checking |
Ábrahám, Aschermann, Chen, Frohn, Giesl, Kremer, Loup, Nellen, Ströder |
| Proseminar: Wurzeln der Informatik |
Ábrahám, Chen, Corzilius, Kremer, Loup, Schupp |