Course	Teacher
Lecture: Modeling and Analysis of Hybrid Systems	Ábrahám, Haehn, Nalbach
Practical lab: Web Application for the Simulation of Solar Power Plants	Ábrahám, Richter
Practical lab: Learning Apps for Children in Primary School	Ábrahám, Richter
Practical lab: Machine learning competition for Smart Buildings	Ábrahám, Abida
Proseminar: Formale Methoden	Ábrahám, Haehn, Nalbach
Seminar: Satisfiability Checking	Ábrahám, Haehn, Nalbach