Congratulations to Tobias Rosenberger who passed his PhD viva today.
Title: Institution-based Semantics and Tool Support for the UML
Tobias did a joint PhD with Grenoble, the examiners were
- Till Mossakowski (University of Magdeburg), Swansea External
- Monika Seisenberger, Swansea Internal
- Martin Wirsing (LMU), Grenoble External
- Marius Bozga, Grenoble Internal
The supervisors were Markus Roggenbach (Swansea) and Saddek Bensalem (Grenoble).
Well done, Tobias, and all the best for the future!