Leitung

Prof. Dr. Heike Wehrheim

Kontakt

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A3 2-208

+49 441 798-2426

Lehre

Lehrveranstaltungen

WS2021/2022

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