Arbeitsgruppe

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

Foto Name Kontakt
Assistenzprofessuren
Prof. Dr. rer. nat. Marie-Christine Jakobs
+49 6151 16-20920
S2|02 E307
Wissenschaftliche Mitarbeiter*innen
M. Sc. Maik Wiesner
S2|02 E302