Staff

Prof. Dr. Christoph Lüth

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

Prof. Dr. Christoph Lüth

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

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

In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2023), September 13-15, Turin, Italy, 2023.

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.

SASPIT


A Safe and Secure Sensor Platform for the Internet of Things

The goals of the SASPIT project are to develop an open IoT sensor platform with end-to-end security guarantees for the correctness, integrity and confidentiality of the data (safety, security and…

SASPIT

ECXL


An Extensible and Consistent Cross-Level RISC-V Verification Platform

The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on the abstract electronic system level as well as…

ECXL

KIMBi


Auf dem Weg zur KI-gestützten intelligenten Magnetresonanz-Bildgebung

Es soll ein System entwickelt werden, das die Magnetresonanztomographie (MRT) für KI-

Anwendungen zugänglich macht. Die MRT ist die flexibelste und variantenreichste

Bildgebungsmodalität in der…

KIMBi

VE-HEP


Hardening the Supply Chain through Open Source, Trustworthy 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…

VE-HEP

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

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