Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:mitarbeiter:obster [2014/01/22 17:31] obster [Lehre] |
lehrstuhl:mitarbeiter:obster [2021/08/24 07:46] obster Dr.-Ing. hinzugefügt |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ====== Mathias Obster, M.Sc. ====== | + | ====== Dr.-Ing. Mathias Obster ====== |
| ~~NOTOC~~ | ~~NOTOC~~ | ||
| + | ~~NOCACHE~~ | ||
| \\ | \\ | ||
| - | Wissenschaftlicher Mitarbeiter \\ | + | \\ |
| - | obster[at]embedded[dot]rwth-aachen[dot]de \\ \\ | + | ===== Ü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. | ||
| - | Tel.: +49 241 80 21155 \\ | ||
| - | Fax: +49 241 80 22150 \\ \\ | ||
| - | Adresse: Ahornstr. 55, 52074 Aachen \\ | ||
| - | Büro: Raum 2313 (Gebäude H) | ||
| ===== Lehre ===== | ===== Lehre ===== | ||
| Zeile 16: | Zeile 31: | ||
| | Wintersemester 13/14 | [[lehre:wise1314:psp]] | P | | | Wintersemester 13/14 | [[lehre:wise1314:psp]] | P | | ||
| | Sommersemester 14 | [[lehre:sose14:psp]] | P | | | Sommersemester 14 | [[lehre:sose14:psp]] | P | | ||
| - | | Sommersemester 14 | [[lehre:ss14:sposxt]] | P | | + | | ::: | [[lehre:ss14:sposxt]] | P | |
| - | | Sommersemester 14 | [[lehre:sose14:scadasecurity]] | S | | + | | 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> | ||