| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Erika Ábrahám, Jasper Nalbach, Valentin Promies Contact address: teaching@ths.rwth-aachen.de |
| Seminars: Satisfiability Checking / Formal Methods | Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Jasper Nalbach, Valentin Promies, Nicolai Radke |
| Practical Lab: 3D Wind Farm App | Erika Ábrahám, Pascal Richter |
| Practical Lab: Learning App for Children | Erika Ábrahám, Pascal Richter |
| Practical Lab: Web Application for the Simulation of Solar Thermal Power Plants | Erika Ábrahám, Richter |
| Practical Lab: Lab: Efficient Buildings | Erika Ábrahám, Pascal Richter |