Arbeitsgruppe

Die folgende Seite gibt Ihnen einen Überblick über die Mitarbeiter der Arbeitsgruppe Semantik und Verifikation paralleler Systeme.

Arbeitsgruppe

Foto Name Kontakt
Assistenzprofessuren
Prof. Dr. rer. nat. Marie-Christine Jakobs
+49 6151 16-20920
S2|02 E307
Wissenschaftliche Mitarbeiter/innen
M.Sc. Max Barth
S2|02 E 302
Ehemalige Mitarbeiter
M. Sc. Maik Wiesner