Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Annika Vielsack

Wissenschaftliche Mitarbeiterin / Doktorandin
Koordination Lehr-Lern-Labor Informatik
Raum 202, Gebäude 50.34

Tel.: +49 721 608-45253
Fax: +49 721 608-44021
E-Mail: vielsack∂kit.edu

KIT / Institut für Theoretische Informatik
Am Fasanengarten 5
76131 Karlsruhe

Projekte

Lehre

Semester Veranstaltung
Wintersemester 2020/21 Teamprojekt