Course	Teacher
Lecture: Algorithmen und Datenstrukturen (Service)	Ábrahám
Practical Lab: Web Application for the Simulation of Solar Thermal Power Plants	Ábrahám, Richter
Practical Lab: Wind Farm App for Virtual and Augmented Reality	Ábrahám, Richter
Practical Lab: Learning Apps for Children in Primary School	Ábrahám, Richter
Seminar: Satisfiability Checking	Ábrahám, Haehn, Nalbach
Proseminar: Formal Methods	Ábrahám