Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:dernehl [2012/03/15 17:47]
dernehl
+++ lehrstuhl:mitarbeiter:dernehl [2017/03/23 13:55]
dernehl [Abschlussarbeiten]
@@ Zeile 2: / Zeile 2: @@
 {|
 |-
+||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}}
 || Wissenschaftlicher Mitarbeiter\\
@@ Zeile 10: / Zeile 11: @@
 \\
 Adresse: Ahornstr. 55, 52074 Aachen\\
 Büro: Raum 2322 (Gebäude H)
 |}
 ===== Forschungsgebiete =====
-  * Autonomie und Flugführung 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]]
-===== Veröffentlichungen =====
+===== Lehre =====
-~~NOCACHE~~
+^ Semester ^ Titel ^ Art ^
-<BIBTEX: file=publikationen style=I11 sort=year filter=dernehl>
+| 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 31: / Zeile 49: @@
 Nach Vereinbarung
+===== Veröffentlichungen =====
+~~NOCACHE~~
+<BIBTEX: file=publikationen style=I11 sort=year filter=dernehl>