Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:mitarbeiter:obster [2015/09/07 10:55] obster |
lehrstuhl:mitarbeiter:obster [2021/08/24 07:46] (aktuell) obster Dr.-Ing. hinzugefügt |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ====== Mathias Obster, M.Sc. RWTH ====== | + | ====== Dr.-Ing. Mathias Obster ====== |
| ~~NOTOC~~ | ~~NOTOC~~ | ||
| + | ~~NOCACHE~~ | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | {| | + | ===== Über mich ===== |
| - | | | | + | Ich war Doktorand am Lehrstuhl bis April 2018. |
| - | Wissenschaftlicher Mitarbeiter \\ | + | {{ :lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} |
| - | obster[at]embedded[dot]rwth-aachen[dot]de \\ \\ | + | |
| \\ | \\ | ||
| - | Tel.: +49 241 80 21155 \\ | ||
| - | Fax: +49 241 80 22150 \\ \\ | ||
| \\ | \\ | ||
| - | Adresse: Ahornstr. 55, 52074 Aachen \\ | + | Für mein Promotionsthema habe ich mich in meiner Zeit am Lehrstuhl mich mit Statischer Analyse von SPS-Programmen beschäftigt. |
| - | Büro: Raum 2313 (Gebäude H) | + | Dabei lag der Fokus besonders darauf, wie diese Informationen schon bei der Entwicklung bzw. Eingabe eines Programms einem Entwickler helfen können. |
| - | | | {{:lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} | + | |
| - | |} | + | |
| - | ===== Forschungsgebiete ===== | + | Darüber hinaus war ich in folgenden Themen aktiv: |
| - | + | * Inkrementelle statische Analyse | |
| - | * Analyse von SPS-Programmen während der Eingabe (Statische Analyse) | + | |
| * Software-SPS | * Software-SPS | ||
| + | * Statische Analyse in [[http://arcade.embedded.rwth-aachen.de/|ARCADE.PLC]] | ||
| * IEC-61131 Sprachen | * IEC-61131 Sprachen | ||
| * Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten | * Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten | ||
| * Ausführung und Simulation von SPS-Programmen auf [[:forschung:projekte:rtandroid|RTAndroid]] | * Ausführung und Simulation von SPS-Programmen auf [[:forschung:projekte:rtandroid|RTAndroid]] | ||
| - | ===== Offene Abschlussarbeiten ===== | ||
| - | |||
| - | Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. | ||
| \\ | \\ | ||
| \\ | \\ | ||
| + | Ich bin weiterhin unter obster[at]embedded[dot]rwth-aachen[dot]de erreichbar. | ||
| - | * Master: {{:lehre:mo_inkrementelle_analyse.pdf|Inkrementelle Analyse für Steuerungscode}} | ||
| Zeile 45: | Zeile 38: | ||
| | ::: | [[lehre:wise1516:formal]] | S | | | ::: | [[lehre:wise1516:formal]] | S | | ||
| | ::: | [[lehre:wise1516:mbt]] | 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 ===== | ===== Sommerfest 2014 ===== | ||