Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.


—lehrstuhl:mitarbeiter:obster [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1
Zeile 1: Zeile 1:
 +====== 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~~
 +<BIBTEX: file=publikationen style=I11 sort=year filter=obster>