Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:hansen [2015/04/22 10:02] hansen [Veröffentlichungen] |
lehrstuhl:mitarbeiter:hansen [2017/03/24 10:14] hansen [Abschlussarbeiten] |
||
---|---|---|---|
Zeile 18: | Zeile 18: | ||
\\ | \\ | ||
Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | ||
- | /* | + | |
Büro: 2319\\ | Büro: 2319\\ | ||
\\ | \\ | ||
Zeile 24: | Zeile 25: | ||
|} | |} | ||
+ | ===== 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 einer Bachelor- oder Masterarbeit im Themenbereich Testen und Verifikation von modellbasierter Software im Automobilsektor informiere ich gerne unverbindlich über derzeit verfügbare Themen. | ||
=====Lehre===== | =====Lehre===== | ||
- | == 2015 == | + | == SS2016 == |
- | [[lehre:sose15:ites]] (V) | + | [[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) | ||