Winter Term 2023/2024

CourseTeacher
Lecture: Satisfiability CheckingErika ÁbrahámJasper Nalbach, Valentin Promies
Contact: teaching[at]ths.rwth-aachen.de
Seminar: Formal MethodsErika Á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 FarmsErika Ábrahám, Nicolai Radke
Contact: Nicolai Radke