Am 30.11.2018 hat Sebastian Grobosch erfolgreich seine Promotionsprüfung absolviert. Er promovierte extern bei der VEMAC, wo er die Anwendbarkeit verschiedener formaler Methoden zur Spezifikation und Verifikation für KMUs untersuchte. Im Bereich Verifikation setzte Herr Grobosch unter Anderem das am i11 entwickelte Werkzeug Arcade.µC ein.
Wir wünschen alles Gute!