| Course | Teacher |
|---|---|
| Lecture: Satisfiability checking |
Ábrahám, Kremer |
| Practical course: SMT solving for real arithmetic with ICP |
Ábrahám, Schupp |
| Practical course: Selected topics in renewable energy |
Ábrahám, Richter |
| Practical course: Uncertainty quantification of agent-based computational financial market models |
Ábrahám, Trimborn |
| Doctoral course on hybrid systems (University of Szeged) | Ábrahám |
| Bridging Course Foundations of Informatics | Ábrahám |