| Course | Teacher |
|---|---|
| Lecture: Datenstrukturen und Algorithmen | Erika Ábrahám Contact: dsal[at]ths.rwth-aachen.de |
| Seminar: Satisfiability Checking | Erika Ábrahám, Valentin Promies, Jasper Nalbach (offered jointly with LuFG i2) Contact: seminar[at]ths.rwth-aachen.de |
| Seminar: Formal Methods | Erika Ábrahám, Lina Gerlach, József Kovács Contact: seminar[at]ths.rwth-aachen.de |
| Practical Lab: Renewable Energy: Simulation on Mobile using Swift (MA) | Erika Ábrahám, Pascal Richter Contact: Pascal Richter |
| Software Projektpraktikum: Wind Farms: WebApp and Simulation (BA) | Erika Ábrahám, Pascal Richter Contact: Pascal Richter |