Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:obster [2018/04/06 10:49]
obster
+++ lehrstuhl:mitarbeiter:obster [2021/08/24 07:46]
obster Dr.-Ing. hinzugefügt
@@ Zeile 1: / Zeile 1: @@
-====== Mathias Obster, M.Sc. RWTH ======
+====== Dr.-Ing. Mathias Obster ======
 ~~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 2302 (Gebäude H/Hauptbau)
+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:
-  * Analyse von SPS-Programmen während der Eingabe (Statische Analyse)
   * 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.