Skip to main content Skip to main navigation

Prof. Dr. Christoph Lüth

Organizational unit Cyber-Physical Systems
Contact +49 421 218 59830 (Bremen)

http://www.informatik.uni-bremen.de/~cxl
Address (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen
Prof. Dr. Christoph Lüth

Publications

Evaluating an open-source hardware approach from HDL to GDS for a security chip design — a review of the final stage of project HEP

Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

To the publication

Finding the perfect MRI sequence for your patient --- Towards an optimisation workflow for MRI-sequences

Christina Plump; Daniel C. Hoinkiss; Jörn Huber; Bernhard J. Berger; Matthias Günther; Christoph Lüth; Rolf Drechsler

In: The IEEE World Congress on Computational Intelligence. IEEE World Congress on Computational Intelligence (WCCI-2024), June 30 - July 5, Yokohama, Japan, 2024.

To the publication

Symbolic Execution of Binary Code based on Formal ISA Semantics

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

In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

To the publication
All publications

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.

  • DataNord - MRI4ALL

    Research Academy Projekt MRI4AII des Interdisziplinären Datenkompetenzzentrums für die Region Bremen - DataNord; Teilvorhaben:

    In close cooperation within the U Bremen Research Alliance (UBRA) and with other partners, the University of Bremen is establishing a data competence centre for the entire region. The Federal Ministry…

  • FAIRe

    Frugal Artificial Intelligence in Resource-limited environments

    Artificial intelligence (AI) is finding increasingly diverse applications in the physical world, especially in embedded, cyber-physical devices with limited resources and under demanding conditions.…

    FAIRe

  • 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
Show all projects