Teaching
Studentische Arbeiten
-
Aktuelle Themen für Bachelor, Master- und Projektarbeiten
-
Eine LaTeX-Vorlage für Bachelor, Master- und Projektarbeiten (auch im Lehrstuhl-Gitlab)
Lehrveranstaltungen
- Laufendes Semester (SoSe 2024):
Vertiefende Veranstaltungen
- Praktische Semantik von Programmiersprachen (SemProg)
- Nominal Sets
- Automaten über unendlichen Wörtern (Seminar)
- Oberseminar
Introduction to Dependently Typed Programming
Grundlagenveranstaltungen
-
Vorige Semester: