Zum Hauptinhalt springen

Teaching

Summer term 2025

  • Logic & Verification (BSc) (Stud.IP)
  • Parameterized Algorithmics (MSc) (Stud.IP)
  • Seminar on Automata, Boolean Circuits, and Complexity (BSc, MSc) (Stud-IP)
     

Winter term 2024/25

  • Informatik III (BSc) (Stud.IP)
  • Informatikwerkstatt Anwendungssysteme (BSc) (Stud.IP)

Courses Overview

Student Projects and Theses

LaTeX Downloads

Teaching Archive