| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Ábrahám, Haehn, Nalbach |
| Practical Lab: Web Application for the Simulation of Solar Power Plants | Ábrahám, Richter |
| Practical Lab: Learning Apps for Children in Primary School | Ábrahám, Richter |
| Proseminar: Formale Methoden | Ábrahám, Haehn, Nalbach |
| Seminar: Satisfiability Checking | Ábrahám, Haehn, Nalbach |