Beste Vorlesung der Fakultät im Sommersemester 2021!
Unsere Veranstaltung Typesystems for Correctness and Security wurde als beste Vorlesung der Fakultät im Sommersemester 2021 ausgezeichnet.
Studierende haben unsere Veranstaltung mit einer Note von 1,19 bewertet. Der Kurs befasst sich mit der Theorie von Typsystemen und diskutiert die Eigenschaften von Typsystemen welche bei der Softwareentwicklung helfen. Er befasst sich auch mit den Implementierungen von Typsystemen aktueller Programmiersprachen. Es wird dabei ein pragmatischer Ansatz gewählt. Studierende implementieren die erlernten Techniken selbst während des Verlauf der Veranstaltung.