Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
lehrstuhl:mitarbeiter:hansen [2016/07/24 11:19]
hansen [Lehre]
lehrstuhl:mitarbeiter:hansen [2022/05/23 15:29] (aktuell)
stollenwerk [Norman Hansen, M.Sc.]
Zeile 1: Zeile 1:
-====== Norman Hansen, M.Sc. ======+====== Norman Hansen, M.Sc. RWTH ======
 ~~NOTOC~~ ~~NOTOC~~
 ~~NOCACHE~~ ~~NOCACHE~~
Zeile 6: Zeile 6:
  
 {| {|
-|- +{{:​lehrstuhl:​mitarbeiter:​hansen.jpg?​90||-}} 
-|| +\\ 
-Wissenschaftlicher Mitarbeiter\\+**//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\\ Tel. +49 241 80 21172\\
 Fax +49 241 80 22150\\ Fax +49 241 80 22150\\
- 
 \\ \\
 Email: hansen[at]embedded[dot]rwth-aachen[dot]de\\ Email: hansen[at]embedded[dot]rwth-aachen[dot]de\\
Zeile 20: Zeile 21:
  
  
-Büro: ​2319\\+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 ===== ===== 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_ger_dyn_report.pdf|Dynamische Reportgenerierung}} +[[lehre:sose17:mbt]] (S)
-  * {{:​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 ​== +== WS16/​17 ​==  
-  * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} +[[lehre:wise1617:mbt]] (S)
- +
-=====Lehre=====+
  
 == SS2016 == == SS2016 ==
 [[lehre:​sose16:​ites]] (V) [[lehre:​sose16:​ites]] (V)
  
-Betreuung von Seminaren im Themenbereich ​[[lehre:​sose16:​mbt]] (S)+[[lehre:​sose16:​mbt]] (S)
  
 == WS15/16 ==  == WS15/16 == 
-Betreuung von Seminaren im Themenbereich ​[[lehre:​wise1516:​mbt]] (S)+[[lehre:​wise1516:​psp]] - Versuch 4: Externer Speicher (P) 
 + 
 +[[lehre:​wise1516:​mbt]] (S) 
  
 == SS2015 == == SS2015 ==
- [[lehre:​sose15:​ites]] (V)+[[lehre:​sose15:​ites]] (V
 + 
 +[[lehre:​sose15:​psp]] - Versuch 4: Externer Speicher (P)
  
-Betreuung von Seminaren im Themenbereich ​[[lehre:​sose15:​mbt]] (S)+[[lehre:​sose15:​mbt]] (S)