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: Wintersemester 2025/26:
Vertiefende Veranstaltungen- Algebra des Programmierens (Campo) (StudOn)
- Automatenlernen (Campo) (StudOn)
- Automaten und Logik (Campo) (StudOn)
- Advanced Competitive Programming (Campo) (StudOn)
- Beschreibungslogik und formale Ontologien (Campo)
- Oberseminar
 Grundlagenveranstaltungen
 
- 
Vorige Semester:
