Team
| Photo | Name | Contact |
|---|---|---|
| Former Staff | ||
Picture: Benjamin Raddatz
| Prof. Dr. rer. nat. Marie-Christine Jakobs | jakobs@cs.tu-... |
| Research Associates | ||
|
B
| M.Sc. Max Barth | max.barth@tu-... S2|02 E 302 |
| Former Staff | ||
| M. Sc. Maik Wiesner | |
Team
This pages provides an overview of all team members of the research group Semantics and Verification of Parallel Systems.
