Honorarprofessor
bis 03/2015 Leiter des Forschungsbereichs Optische Messtechnik (Infrarotmesstechnik) am Institut für Messtechnik / TUHH
Model checking (bounded model checking, CTL, LTL)