Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehrstuhl:mitarbeiter:hansen [2017/04/29 21:46] 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 7: | Zeile 7: | ||
{| | {| | ||
{{:lehrstuhl:mitarbeiter:hansen.jpg?90||-}} | {{: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 26: | Zeile 27: | ||
===== 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 ===== |