====== Christian Dernehl, M.Sc. ====== {| |- ||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}} || research assistant\\ dernehl[at]embedded[dot]rwth-aachen[dot]de\\ \\ Phone +49 241 80 21163\\ Fax +49 241 80 22150\\ \\ Address: Ahornstr. 55, 52074 Aachen, Germany\\ Office: Room 2322 (Building H)\\ |} ===== Research Topics ===== * Autonomy for Micro Aerial Vehicles * Static analysis of functional block diagrams * Model checking of functional block diagrams * Analysis of non-linear systems ===== Projects ===== * [[forschung:imav|]] * [[forschung:carolo_cup]] ===== Teaching ===== ^ Semester ^ Title ^ | Summer 2012 | Hardware Programming Lab | | Winter 2012/13 | Introduction to Computer Engineering | | Winter 2013/14 | Introduction to Computer Engineering | ===== Publications ===== ~~NOCACHE~~ ===== Office Hours ===== By appointment