| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Erika Ábrahám, Jasper Nalbach, Valentin Promies Contact: teaching[at]ths.rwth-aachen.de |
| Proseminar: Formal Methods | Erika Ábrahám, László Antal, Lina Gerlach, József Kovács Contact: seminar[at]ths.rwth-aachen.de |
| Practical Lab: Planning, Simulation, and Optimization of Wind Farms | Erika Ábrahám, Nicolai Radke Contact: Nicolai Radke |