====== Christian Dernehl, M.Sc. ====== {| |- ||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}} || Wissenschaftlicher Mitarbeiter\\ dernehl[at]embedded[dot]rwth-aachen[dot]de\\ \\ Tel.: +49 241 80 21163\\ Fax: +49 241 80 22150\\ \\ Adresse: Ahornstr. 55, 52074 Aachen\\ Büro: Raum 2322 (Gebäude H) |} ===== Forschungsgebiete ===== * Automatisierung und Flugführung für Kleinstfluggeräte (MAVs) * Statische Analye von Blockdiagrammen * Model Checking von Blockdiagrammen ===== Projekte ===== * [[https://artshop.embedded.rwth-aachen.de/|artshop]] * [[forschung:imav|]] ===== Frühere Projekte ===== * [[forschung:carolo_cup]] ===== Lehre ===== ^ Semester ^ Titel ^ Art ^ | SS 2012 | Praktikum Systemprogrammierung | P | | WS 2012/13 | Einführung in die technische Informatik | V/Ü | | WS 2013/14 | Einführung in die technische Informatik | V/Ü | | SS 2015 | NXT Programmierung mit Java | P | | SS 2015 | Seminar Modellbasiertes Testen und Analyse eingebetteter Software | S | | WS 2015/16 | Seminar Modellbasiertes Testen und Analyse eingebetteter Software | S | | WS 2015/16 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | SS 2016 | NXT Programmierung mit Java | P | | SS 2016 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | WS 2016/17 | Seminar Formale und semiformale Methoden für eingebettete Software | S | ===== Sprechstunde ===== Nach Vereinbarung ===== Veröffentlichungen ===== ~~NOCACHE~~