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 [2016/07/24 11:49] hansen |
lehrstuhl:mitarbeiter:hansen [2017/07/31 13:17] hansen [Forschungstätigkeit] |
||
---|---|---|---|
Zeile 6: | Zeile 6: | ||
{| | {| | ||
- | |- | + | {{:lehrstuhl:mitarbeiter:hansen.jpg?90||-}} |
- | || | + | |
Wissenschaftlicher Mitarbeiter\\ | Wissenschaftlicher Mitarbeiter\\ | ||
\\ | \\ | ||
Zeile 20: | Zeile 20: | ||
- | Büro: 2319\\ | + | Büro: 2314\\ |
\\ | \\ | ||
Zeile 26: | Zeile 26: | ||
===== Forschungstätigkeit ===== | ===== 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. | + | 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 das Testen von Matlab-Simulink Modellen und wirke an der Entwicklung von [[http://arttest.de/|Arttest]] mit. |
===== Abschlussarbeiten ===== | ===== 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. | + | 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===== | ||
- | == Bachelorarbeiten == | + | == SS2017 == |
+ | [[lehre:sose17:ites]] (V) | ||
- | * {{:lehre:abschlussarbeiten:tg:ba_dhg_artshop_static_stateflow.pdf|Statische Analyse von Matlab/Simulink Stateflow-Charts}} | + | [[lehre:sose17:mbt]] (S) |
- | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | + | |
- | == Masterarbeiten == | + | == WS16/17 == |
- | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | + | [[lehre:wise1617:mbt]] (S) |
- | + | ||
- | =====Lehre===== | + | |
== SS2016 == | == SS2016 == |