====== Norman Hansen, M.Sc. RWTH ====== ~~NOTOC~~ ~~NOCACHE~~ ===== Kontakt ===== {| {{:lehrstuhl:mitarbeiter:hansen.jpg?90||-}} \\ **//Wissenschaftlicher Mitarbeiter bis 11/2017\\ Seit 12/2017: EXIST-Forschungstransfer (BMWi) [[https://arttest.de|Arttest]]\\ Seit 01/2019: Co-Founder [[https://mindmotiv.com|Mindmotiv GmbH]]//** \\ \\ Tel. +49 241 80 21172\\ Fax +49 241 80 22150\\ \\ Email: hansen[at]embedded[dot]rwth-aachen[dot]de\\ \\ Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ Büro: 2314\\ \\ |} ===== 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 das Testen von Matlab-Simulink Modellen und wirke an der Entwicklung von [[http://arttest.de/|Arttest]] mit. ===== 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===== == SS2017 == [[lehre:sose17:ites]] (V) [[lehre:sose17:mbt]] (S) == WS16/17 == [[lehre:wise1617:mbt]] (S) == 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===== Notiz: [BHK+12] ist KEINE Veröffentlichung von mir und wird fälschlicherweise aufgrund der eingeschränkten Konfigurierbarkeit des Bibliotheksplugins hier angezeigt.