Lehrveranstaltungen
Wintersemester 2026/27

Einführende Veranstaltungen

• Bachelor-Kurs Python für Anfänger
  2-std., Graß, Blanchette

• Proseminar Scientific and Technical English
  2-std., Blanchette

• Proseminar Logic for Security
  2-std., Kirsten, Blanchette

• Bachelor-Praktikum Softwareentwicklungspraktikum für Informatik im Nebenfach
  3-std., Kondylidou, Maio, Blanchette

Weiterführende Veranstaltungen

• Vorlesung Automated Theorem Proving
  2+2-std., Blanchette

• Vorlesung Category Theory
  2+2-std., Xu

• Hauptseminar Type Theory
  2-std., Guerdi, Blanchette

• Master-Praktikum Mobile Application Development
  2+2-std., Toth, Blanchette

• Master-Praktikum Formalization in Lean
  2+2-std., Généreux, Blanchette

• Master-Praktikum SAT Solving
  2+2-std., Johannsen

Sonstige

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