| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Erika Ábrahám, Jasper Nalbach, Valentin Promies Contact: teaching@ths.rwth-aachen.de |
| Seminar: Formal Methods | Erika Ábrahám, László Antal, Lina Gerlach, József Kovács Contact: antal@informatik.rwth-aachen.de |
| Practical Lab: Simulation and Optimization of Wind Farms | Erika Ábrahám, Nicolai Radke Contact: nicolai.radke@cs.rwth-aachen.de |