Congratulations to Tobias!

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!