Prof. Dr. Christoph Lüth

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz

Deutsch

de

Staff

Organizational unit
Cyber-Physical Systems

Contact
Phone (Bremen): +49 421 218 59830
Christoph.Lueth@dfki.de
http://www.informatik.uni-bremen.de/~cxl

Address (Bremen)
Mehrzweckhochhaus (MZH)
Bibliothekstraße 5
D-28359 Bremen

Publications

Sören Tempel; Tobias Brandt; Christoph Lüth

In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), January 12-15, Boston, MA, USA, 2023.

To the publication

Daniel Christopher Hoinkiss; Jörn Huber; Christina Plump; Christoph Lüth; Rolf Drechsler; Matthias Günther

In: Frontiers in Neuroimaging, Vol. 02, frontiers, 2023.

To the publication

Serge Autexier; Christoph Lüth; Rolf Drechsler

In: Mario A. Pfannstiel. Künstliche Intelligenz im Gesundheitswesen. Chapter 40, Pages 335-350, Springer Fachmedien Wiesbaden, 3/2022.

To the publication

All publications

Profile

Personal Information

Christoph Lüth is vice director of the Research Department Cyber-Physical Systems at the German Research Centre for Artificial Intelligence (Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI) in Bremen.

His research covers the whole area of advanced system development, from theoretical foundations as found in category theory to the development of tools to construct or verify software, and applications in practical areas such as robotics. The overall theme of his work is how to reliably construct correct software.

He holds a PhD from the University of Edinburgh, and a Habilitation from the University of Bremen, where had been working as a lecturer (associate professor) prior to joining DFKI at the start of 2006. He has authored or co-authored over eighty peer-reviewed papers, and was the principal investigator in several research projects.

In addition to his work at DFKI, he is a professor for computer science at the University of Bremen, where he is regularly teaching courses about functional programming, programming languages, and formal methods.