Staff

Prof. Dr. Christoph Lüth

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

Prof. Dr. Christoph Lüth

Publications

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

In: 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2021) 9th February 8-10 Online-Conference 2021.

To the publication
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

In: Slimane Hammoudi , Luís Ferreira Pires , Bran Selić (editor). 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020) February 25-27 Valletta Malta Springer 2021.

To the publication

Profile

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.

HEP


Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, open and free instruction set architecture, forming…

VeryHuman


Learning and Verifying Complex Behaviour of Humanoid Robots

The validation of systems based on deep learning for use in safety-critical applications proves to be inherently difficult, since their subsymbolic mode of operation does not provide adequate levels…

VeryHuman

KI-SIGS


AI-Space for Intelligent Health Systems

In the project KI-SIGS (AI-Space for Intelligent Health Systems), companies, universities and research institutions from northern Germany are pooling their expertise in the field of medical AI in…

KI-SIGS

Fast&Slow


Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very

efficiently after a training phase. However, in general no reliable

statement can be made about their correctness. In contrast,…

Fast&Slow

SELFIE


Self-Verification of Electronic Systems

The exponential growth of the complexity of electronic systems makes it

increasingly diffult to prove their correctness (verification). Addressing

this problem, the goal of the SELFIE project is a…

SELFIE

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