Courses
- Summer 2022
-
- Formale Sprachen und Komplexität (Formal Languages and Complexity)
- Theoretische Informatik für Medieninformatiker (Theoretical Computer Science for Media Informatics)
- Seminar: Perlen der funktionalen Programmierung (Seminar: Pearls of Functional Programming)
- Seminar: Aktuelle Themen der funktionalen Programmierung (Seminar: Current Topics of Functional Programming)
- Oberseminar Theoretische Informatik (Graduate Seminar Theoretical Computer Science)
- Winter 2021/22
- Summer 2021
-
- Formale Sprachen und Komplexität (Formal Languages and Complexity)
- Theoretische Informatik für Medieninformatiker (Theoretical Computer Science for Media Informatics)
- Seminar: Perlen der funktionalen Programmierung (Seminar: Pearls of Functional Programming)
- Seminar: Aktuelle Themen der funktionalen Programmierung (Seminar: Current Topics of Functional Programming)
- Oberseminar Theoretische Informatik (Graduate Seminar Theoretical Computer Science)
- Winter 2020/21
-
- Algorithmik und Komplexität: Prinzipien, Algorithmen und Modelle der Nebenläufigen Programmierung (Principles, Algorithms, and Models of Concurrent Programming)
- Seminar: Perlen der funktionalen Programmierung (Seminar: Pearls of Functional Programming)
- Oberseminar Theoretische Informatik (Graduate Seminar Theoretical Computer Science)
- Summer 2020
-
- Fortgeschrittene Funktionale Programmierung (Advanced Functional Programming)
- Seminar: Perlen der funktionalen Programmierung (Seminar: Pearls of Functional Programming)
- Seminar: Aktuelle Themen der funktionalen Programmierung (Seminar: Current Topics of Functional Programming)
- Oberseminar Theoretische Informatik (Graduate Seminar Theoretical Computer Science)
- Winter 2019/20
- Summer 2019
-
- Formale Sprachen und Komplexität (Formal Languages and Complexity)
- Seminar: Perlen der funktionalen Programmierung (Seminar: Pearls of Functional Programming)
- Seminar: Fortgeschrittene Perlen der funktionalen Programmierung (Seminar: Advanced Pearls of Functional Programming)
- Oberseminar Theoretische Informatik (Graduate Seminar Theoretical Computer Science)
- Winter 2018/19
-
- Einführung in die Informatik: Programmierung und Softwareentwicklung (Introduction to Computer Science: Programming and Software Development)
- Seminar: Beautiful Code and Algorithms
- Seminar: Aktuelle Themen zur Programmiersprachensemantik (Seminar: Current Topics of Programming Language Semantics)
- Oberseminar Theoretische Informatik (Graduate Seminar Theoretical Computer Science)
- Summer 2018
- Summer 2017
- Summer 2016
- Winter 2015/16
- Summer 2015
-
- Einführung in die Programmierung und das Problemlösen in Haskell (Introduction to Programming and Problem Solving in Haskell), course at the Lehrbildungsforum Informatik.
- Rewriting Techniques for Correctness of Program Transformations, course at the International School on Rewriting ISR 2015
- Praktikum Funktionale Programmierung (Practical Course 'Functional Programming')
- Vorsemesterkurs Informatik (Preparation Course 'Computer Science')
- Winter 2014/15
- Summer 2014
- Winter 2013/14
- Summer 2013
- Winter 2012/13
- Summer 2012
- Winter 2011/12
- Summer 2011
- Winter 2010/11
- Summer 2010
- Winter 2009/10