Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Letzte Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:hansen [2017/04/29 21:46] hansen [Lehre] |
lehrstuhl:mitarbeiter:hansen [2019/07/30 15:47] mayer [Kontakt] |
||
|---|---|---|---|
| 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 ===== | ||