Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:hansen [2014/10/20 14:36] simon angelegt |
lehrstuhl:mitarbeiter:hansen [2016/07/24 11:49] hansen |
||
---|---|---|---|
Zeile 8: | Zeile 8: | ||
|- | |- | ||
|| | || | ||
- | Wissenschaftliche Mitarbeiterin\\ | + | Wissenschaftlicher Mitarbeiter\\ |
\\ | \\ | ||
- | /* | + | |
- | Tel. +49 241 80 TODO\\ | + | Tel. +49 241 80 21172\\ |
- | Fax +49 241 80 TODO\\ | + | Fax +49 241 80 22150\\ |
- | */ | + | |
\\ | \\ | ||
Email: hansen[at]embedded[dot]rwth-aachen[dot]de\\ | Email: hansen[at]embedded[dot]rwth-aachen[dot]de\\ | ||
\\ | \\ | ||
Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | ||
- | /* | + | |
- | Büro: TODO\\ | + | |
- | */ | + | Büro: 2319\\ |
\\ | \\ | ||
|} | |} | ||
+ | |||
+ | ===== Forschungstätigkeit ===== | ||
+ | Die Arbeit als studentische Hilfskraft an [[en:tools:hyreach]] brachte mich erstmals in Kontakt mit Matlab und der Thematik der Verifikation eingebetteter Systeme. Begeistert von der Thematik schrieb ich meine Masterarbeit zum Thema "Statische Analyse von Matlab-Simulink-Modellen mittels Intervallen" was schließlich mit Beginn meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik 11 zu einer Beteiligung am [[https://artshop.embedded.rwth-aachen.de/|artshop]]-Projekt führte. Neben dem generellen Interesse für die Verifikation eingebetteter Systeme interessiere ich mich derzeit insbesondere für Wertebereichsanalysen von Matlab-Simulink Modellen und dem Testen dieser Modelle. | ||
+ | |||
+ | ===== Abschlussarbeiten ===== | ||
+ | |||
+ | Bei Interesse an einem der folgenden Themen nehme ich mir gerne die Zeit dazu etwas mehr zu erzählen/zeigen als in den Ausschreibungen steht. Fragt einfach via Mail nach einem Termin. | ||
+ | |||
+ | == Bachelorarbeiten == | ||
+ | |||
+ | * {{:lehre:abschlussarbeiten:tg:ba_dhg_artshop_static_stateflow.pdf|Statische Analyse von Matlab/Simulink Stateflow-Charts}} | ||
+ | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | ||
+ | |||
+ | == Masterarbeiten == | ||
+ | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | ||
+ | |||
+ | =====Lehre===== | ||
+ | |||
+ | == SS2016 == | ||
+ | [[lehre:sose16:ites]] (V) | ||
+ | |||
+ | [[lehre:sose16:mbt]] (S) | ||
+ | |||
+ | == WS15/16 == | ||
+ | [[lehre:wise1516:psp]] - Versuch 4: Externer Speicher (P) | ||
+ | |||
+ | [[lehre:wise1516:mbt]] (S) | ||
+ | |||
+ | |||
+ | == SS2015 == | ||
+ | [[lehre:sose15:ites]] (V) | ||
+ | |||
+ | [[lehre:sose15:psp]] - Versuch 4: Externer Speicher (P) | ||
+ | |||
+ | [[lehre:sose15:mbt]] (S) | ||
+ | |||
+ | |||
+ | ===== Sprechstunde ===== | ||
+ | Nach Vereinbarung | ||
+ | |||
+ | ===== Veröffentlichungen===== | ||
+ | |||
+ | <BIBTEX: file=publikationen style=I11 sort=year filter=hansen> | ||
+ | |||
+ | Notiz: [BHK+12] ist KEINE Veröffentlichung von mir und wird fälschlicherweise aufgrund der eingeschränkten Konfigurierbarkeit des Bibliotheksplugins hier angezeigt. |