Leitung

Prof. Dr. Heike Wehrheim

Kontakt

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Lehre

Lehrveranstaltungen

WS2021/2022

  • Grundlagen der theoretischen Informatik
  • Seminar Invariantengenerierung
  • Praktikum Softwareverifikation
  • Oberseminar Formale Methoden
  • Forschungsseminar Formale Methoden
(Stand: 28.04.2022)