| Course | Teacher |
|---|---|
| Vorlesung: Modelling and analysis of hybrid systems |
Ábrahám, Schupp |
| Seminar: Satisfiability Checking |
Ábrahám, Kremer, Leofante, Nellen, Schupp |
| Software-Projektpraktikum: SMT-Solving with ICP |
Ábrahám, Kremer, Schupp |
| Practical course: Selected Topics in Renewable Energy |
Ábrahám, Richter |
| Practical course: Web Application for Offshore Wind Farms |
Ábrahám, Richter |