| Course | Teacher |
|---|---|
| Vorlesung: Modelling and analysis of hybrid systems |
Ábrahám, Schupp |
| Seminar: Satisfiability Checking |
Ábrahám, Giesl, Corzilius, Frohn, Hensel, Kremer, Nellen, Schupp |
| Software-Projektpraktikum: SMT-Solving |
Ábrahám, Corzilius, Kremer |
| Praktikum: Selected Topics in Renewable Energy |
Ábrahám, Richter, Frank |