Lehrveranstaltungen
Sommersemester 2026

Einführende Veranstaltungen

• Vorlesung Formale Sprachen und Komplexität
  3(+1)+2-std., Johannsen

• Vorlesung Theoretische Informatik für Studierende der Medieninformatik
  2(+1)+1-std., Johannsen

• Vorlesung Logik und Diskrete Strukturen
  3+1-std, Blanchette

• Bachelor-Seminar Algebra and Computer Science
  2-std., Généreux, Blanchette

Weiterführende Veranstaltungen

• Vorlesung Interactive Theorem Proving
  2+2-std., tba.

• Master-Praktikum Cryptography
  2+2-std., Bozec, Kondylidou, Blanchette

• Master-Praktikum Automated Theorem Provers
  2+2-std., Guerdi, Blanchette

• Master-Seminar Theory and Security of Voting Systems
  2-std., Kirsten, Blanchette

Sonstige

• Oberseminar Theoretische Informatik und Theorembeweisen
  2-std., Blanchette