Team
| Name | Office | Phone | ||
|---|---|---|---|---|
| Assistant Professorship | ||||
| Prof. Dr. rer. nat. Marie-Christine Jakobs | S2|02 E307 | +49 6151 16-20920 | jakobs@cs.tu-... |
 |
| Research Staff | ||||
| M. Sc. Maik Wiesner | S2|02 E302 | wiesner@svps.tu-... |
 | |
Team of the research group semantics and verification of parallel systems
