====== Dr.-Ing. Mathias Obster ====== ~~NOTOC~~ ~~NOCACHE~~ \\ \\ ===== Über mich ===== Ich war Doktorand am Lehrstuhl bis April 2018. {{ :lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} \\ \\ 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 [[http://arcade.embedded.rwth-aachen.de/|ARCADE.PLC]] * IEC-61131 Sprachen * Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten * Ausführung und Simulation von SPS-Programmen auf [[:forschung:projekte:rtandroid|RTAndroid]] \\ \\ Ich bin weiterhin unter obster[at]embedded[dot]rwth-aachen[dot]de erreichbar. ===== Lehre ===== | **Semester** | **Titel** | **Art** | | Sommersemester 13 | [[lehre:sose13:psp]] | P | | Wintersemester 13/14 | [[lehre:wise1314:psp]] | P | | Sommersemester 14 | [[lehre:sose14:psp]] | P | | ::: | [[lehre:ss14:sposxt]] | P | | Wintersemester 14/15 | [[lehre:wise1415:psp]] | P | | ::: | [[lehre:wise1415:seminar]] | S | | Sommersemester 15 | [[https://www3.elearning.rwth-aachen.de/ss15/15ss-50882|Ausgesuchte Themen zur Eingebetteten Software]] | S | | Wintersemester 15/16 | [[lehre:wise1516:medizin_emobilitaet]] | S | | ::: | [[lehre:wise1516:formal]] | S | | ::: | [[lehre:wise1516:mbt]] | S | | Sommersemester 16 | [[lehre:sose16:medizin_emobilitaet]] | S | | ::: | [[lehre:sose16:formal]] | S | | ::: | [[lehre:sose16:mbt]] | S | | Wintersemester 16/17 | [[lehre:wise1617:medizin_emobilitaet]] | S | | ::: | [[lehre:wise1617:formal]] | S | | ::: | [[lehre:wise1617:mbt]] | S | | Sommersemester 17 | [[lehre:sose17:medizin_emobilitaet]] | S | | ::: | [[lehre:sose17:formal]] | S | | ::: | [[lehre:sose17:mbt]] | S | | Wintersemester 17/18 | [[lehre:wise1718:cyber_medizin_emobilitaet]] | S | | ::: | [[lehre:wise1718:formal]] | S | | ::: | [[lehre:wise1718:mbt]] | S | ===== 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 ===== ~~NOCACHE~~