Arbeitsgruppe

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

Arbeitsgruppe

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