|Phone:||+49 421 218 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.