Skip to main content Skip to main navigation

Prof. Dr. Christoph Lüth

Adresse (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen
Prof. Dr. Christoph Lüth

Publikationen

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.

Zur Publikation

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.

Zur Publikation

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.

Zur Publikation

Profil

Christoph Lüth ist der stellvertretender Leiter des Forschungsbereiches Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen.

Nach seiner Promotion an der Universität Edinburgh hat er sich an der Universität Bremen habilitiert, und ist seit 2006 am DFKI tätig. Sein Forschungsgebiet umfasst den ganzen Bereich der fortgeschrittenen Systementwicklung, von den theoretischen Grundlagen bis hin zur Entwicklung von Werkzeugen, welche die Korrektheit von Programmen zeigen, oder Anwendungen in praktischen Bereichen wie der Robotik. Das umfassende Thema seiner Arbeiten ist die Konstruktion nachweisbar korrekter Software. In diesem Bereich hat er über achtzig wissenschaftliche Papiere veröffentlicht, und zahlreiche Projekte erfolgreich geleitet.

Über seine Arbeiten am DFKI hinaus ist er Professor für Informatik an der Universität Bremen, wo er regelmäßig Veranstaltungen über funktionale Programmierung, Programmiersprachen und formale Methoden liest.

  • DataNord - MRI4ALL

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

    In enger Zusammenarbeit innerhalb der U Bremen Research Alliance (UBRA) und mit weiteren Partnern etabliert die Universität Bremen ein Datenkompetenzzentrum für die gesamte Region. Das…

  • FAIRe

    Frugal Artificial Intelligence in Resource-limited environments

    Künstliche Intelligenz (KI) findet zunehmend vielfältige Anwendungen in der physischen Welt, insbesondere auf eingebetteten, cyber-physischen Geräten mit begrenzten Ressourcen und unter…

    FAIRe
  • SASPIT

    Eine Sichere Sensorplattform für das Internet der Dinge

    Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, Integrität und Vertraulichkeit der Daten (safety,…

    SASPIT
  • ECXL

    Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

    Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt die Modellierung auf der abstrakten…

    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
Alle Projekte ansehen