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

Aktuelles Wintersemester 2026/27:

• Grundlagenveranstaltungen

  • Grundlagen der Logik in der Informatik

• Vertiefende Veranstaltungen

  • Algebra des Programmierens
  • Domain theory
  • Kategorientheorie
  • Theorie der Nebenläufigkeit
  • Verifikation von Programmen
  • Advanced Competitive Programming (Seminar)
  • Oberseminar

Vorige Semester:

• Sommersemester 2026
• Wintersemester 2025/26
• Sommersemester 2025
• Wintersemester 2024/25
• Sommersemester 2024
• Wintersemester 2023/24
• Sommersemester 2023
• Wintersemester 2022/23
• Sommersemester 2022
• Wintersemester 2021/22
• Sommersemester 2021