| 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, József Kovács Contact: seminar[at]ths.rwth-aachen.de |
| Practical Lab: Simulation and Web Application of Renewable Energy (MA) | Erika Ábrahám, Pascal Richter Contact: Pascal Richter |
| Software Projektpraktikum: Simulation and Web Application of Renewable Energy (BA) | Erika Ábrahám, Pascal Richter Contact: Pascal Richter |