Lehre
Lehrveranstaltungen
Wintersemester 2023/24
Vorlesung “Grundlagen der Programmierung”
Lecture “Verified Functional Programming”
Sommersemester 2023
Wintersemester 2022/23
Sommersemester 2022
- Programmierpraktikum
- Vorlesung “Formale Sprachen und Berechenbarkeit”
- Vorlesung “Funktionale Programmierung”
- Vorlesung “Programmieren verteilter Systeme”
- Project “Software Engineering”
Wintersemester 2021/22
Sommersemester 2021
- Programmierpraktikum
- Vorlesung “Funktionale Programmierung”
- Vorlesung “Programmieren verteilter Systeme”
- Seminar “Software Engineering”
Wintersemester 2020/21
Sommersemester 2020
- Programmierpraktikum
- Vorlesung “Programmieren verteilter Systeme”
- Bachelor Projekt “Software Engineering”
Wintersemester 2019/20
Sommersemester 2019
- Programmierpraktikum
- Vorlesung “Funktionale Programmierung”
- Vorlesung “Programmieren verteilter Systeme”
- Bachelor- und Master-Seminar Software Engineering
- Vorlesung “Programmieren in Anwendungen”
- Programmierprojekt für Hörer anderer Fachrichtungen