Prof. Dr. Christoph Lüth

Status: Vice Director
Room: MZH 4186
Phone: +49 421 218 59830
Fax: +49 421 218 98 59830

Christoph Lüth is vice director and research administrator of the Cyber-Physical Systems group, and a Professor at the University of Bremen. He holds a PhD from the University of Edinburgh, and a Habilitation from the University of Bremen.

His research is concerned with the reliable construction of correct software. This includes theoretical foundations as found in category theory, formal software development, and interactive proof, as well as tool development and applications in practical areas such as robotics.

In addition to his research and project work at DFKI, Christoph Lüth is teaching regularly at computer science department of the University of Bremen.

Publications for the DFKI

last updated 26/05/2014
to top