Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:dernehl [2012/03/15 10:56]
dernehl
+++ lehrstuhl:mitarbeiter:dernehl [2017/03/23 13:55]
dernehl [Abschlussarbeiten]
@@ Zeile 2: / Zeile 2: @@
 {|
 |-
+||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}}
 || Wissenschaftlicher Mitarbeiter\\
@@ Zeile 7: / Zeile 8: @@
 \\
 Tel.: +49 241 80 21163\\
+Fax: +49 241 80 22150\\
 \\
 Adresse: Ahornstr. 55, 52074 Aachen\\
 Büro: Raum 2322 (Gebäude H)
 |}
 ===== Forschungsgebiete =====
-  * Autonomie für Kleinstfluggeräte (MAVs)
+  * 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 |
@@ Zeile 21: / Zeile 49: @@
 Nach Vereinbarung
+===== Veröffentlichungen =====
+~~NOCACHE~~
+<BIBTEX: file=publikationen style=I11 sort=year filter=dernehl>