| 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
Arbeitsgruppe
Arbeitsgruppe
Die folgende Seite gibt Ihnen einen Überblick über die Mitarbeiter der Arbeitsgruppe Semantik und Verifikation paralleler Systeme.
