Teaching
Studentische Arbeiten
-
Aktuelle Themen für Bachelor, Master- und Projektarbeiten
-
Eine LaTeX-Vorlage für Bachelor, Master- und Projektarbeiten
Lehrveranstaltungen
- Laufendes Semester (WiSe 2022/23)
- Grundlagen der Logik in der Informatik (GLoIn)
- Advanced Mechanized Reasoning in Coq (Americo)
- Formale Methoden der Softwareentwicklung (FMSoft)
- Kommunikation und parallele Prozesse (KommPar)
- Oberseminar
- Seminar Homotopy Type Theory (HoTT)
- Seminar Advanced Competitive Programming (ACP)
- Seminar Themen der Kategorientheorie (TopCat)
-
Vorige Semester: