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 Semester: Sommersemester 2026

Grundlagenveranstaltungen

• Theoretische Informatik für Wirtschaftsinformatik und Lehramt
• Theorie der Programmierung

Vertiefende Veranstaltungen:

• Interactive Theorem Proving
• Automatentheorie (Seminar)
• Oberseminar

Vorige Semester:

• 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