Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:hansen [2017/04/29 21:46] hansen [Lehre] |
lehrstuhl:mitarbeiter:hansen [2017/07/31 13:17] hansen [Forschungstätigkeit] |
||
|---|---|---|---|
| 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 ===== | ||