Sebastian Grobosch promoviert

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!


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland