====== Mathias Obster promoviert ======

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.\\
\\
{{ :lehrstuhl:neuigkeiten:drobster.png?nolink&550 |}}
\\
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.