Wir gratulieren unserem früheren Kollegen Mathias Obster zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 10.11.2020 zum Thema Unterstützung der SPS-Programmierung durch Statische Analyse während der Programmeingabe statt. Hierbei standen vor allem der Einsatz und die Optimierung der abstrakten Interpretation zur Fehlervermeidung und zur schnelleren SPS-Code-Entwicklung im Vordergrund.


Für den unseren Lehrstuhl war es eine Premiere, denn aufgrund der Pandemie-Situation war es die erste Präsentation und Promotionsprüfung, die in Form einer Zoom-Videokonferenz stattfand.