Dr.-Ing. Mathias Obster
Über mich
Ich war Doktorand am Lehrstuhl bis April 2018.
Für mein Promotionsthema habe ich mich in meiner Zeit am Lehrstuhl mich mit Statischer Analyse von SPS-Programmen beschäftigt.
Dabei lag der Fokus besonders darauf, wie diese Informationen schon bei der Entwicklung bzw. Eingabe eines Programms einem Entwickler helfen können.
Darüber hinaus war ich in folgenden Themen aktiv:
- Inkrementelle statische Analyse
- Software-SPS
- Statische Analyse in ARCADE.PLC
- IEC-61131 Sprachen
- Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten
- Ausführung und Simulation von SPS-Programmen auf RTAndroid
Ich bin weiterhin unter obster[at]embedded[dot]rwth-aachen[dot]de erreichbar.
Lehre
Sommerfest 2014
Absolventenveranstaltung für Informatiker, die von der Fachgruppe Informatik der RWTH Aachen ausgerichtet und vom Lehrstuhl Informatik 11 organisiert wird. http://www.sommerfest-informatik.de
- Zentraler Ansprechpartner
- Planung und Organisation
Veröffentlichungen
<BIBTEX: file=publikationen style=I11 sort=year filter=obster>
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland