Foto | Name | Kontakt |
---|---|---|
Assistenzprofessuren | ||
![]() | Prof. Dr. rer. nat. Marie-Christine Jakobs | jakobs@cs.tu-... +49 6151 16-20920 S2|02 E307 |
Wissenschaftliche Mitarbeiter*innen | ||
![]() | M. Sc. Maik Wiesner | wiesner@svps.tu-... S2|02 E302 |
Semantik und Verifikation paralleler Systeme
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 | jakobs@cs.tu-... +49 6151 16-20920 S2|02 E307 |
Wissenschaftliche Mitarbeiter*innen | ||
![]() | M. Sc. Maik Wiesner | wiesner@svps.tu-... S2|02 E302 |