| Course | Teacher |
|---|---|
| Practical Course: Optimierung eines Solarturmkraftwerks: Validierung und Vergleich |
Abraham, Richter, Franke |
| Proseminar: Algorithms and Tools for Verification |
Abraham, Chen, Corzilius, Jansen, Kremer, Loup, Nellen, Schupp |
| Exam: Satisfiability Checking examination |
Abraham, Corzilius, Schupp |