| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Ábrahám, Haehn, Kremer |
| Practical course: Web Application for Exercise Generation | Ábrahám, Schupp |
| Practical course: Selected Topics in Renewable Energy | Ábrahám, Richter |
| PhD course: Reachability Analysis Techniques for Hybrid Systems | Ábrahám |