Honorary Professor
until 03/2015 Head of Research Area Optical Measurement Technology (Infrared Measurment Technology) at the Institute of Measurement Technology / TUHH
Model checking (bounded model checking, CTL, LTL)