Prof. Dr. Christoph Lüth

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

English

en

Mitarbeiter

Organisationseinheit
Cyber-Physical Systems

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

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

Publikationen

Serge Autexier, Christoph Lüth, Rolf Drechsler

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

Zur Publikation

Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen

In: Proceedings of the 44th. International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2022) Biomedical Engineering transforming the provision of healthcare: promoting wellness through personalized & predictable provision at the point of care July 11-15 Glasgow United Kingdom IEEE Xplore 2022.

Zur Publikation

Alle Publikationen

Profil

Persönliche Angaben
Projekte

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.

HEP

Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen RISC-V-Prozessoren. RISC-V ist eine neue, offene und freie…

VeryHuman

Komplexes Verhalten Humanoider Roboter Lernen und Verifizieren

Die Validierung von Systemen in sicherheitsrelevanten Situationen ist ein inhärent schwieriges Problem, wenn deren Verhalten über Lernalgorithmen trainiert wurde. Der subsymbolische Operationsmodus…

KI-SIGS

KI-Space für intelligente Gesundheitssysteme

Im Projekt KI-SIGS (KI-Space für intelligente Gesundheitssysteme) bündeln

Unternehmen, Universitäten und Forschungseinrichtungen aus Norddeutschland ihre

Kompetenzen im Bereich der medizinischen KI,…

Fast&Slow

Kombination Symbolischer und Subsymbolischer Methoden

Deep-Learning-Verfahren werden in vielen Anwendungsgebieten

eingesetzt und arbeiten nach einer Trainingsphase sehr

effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine

verlässliche…

SELFIE

Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel des Projektes SELFIE ist daher ein fundamentaler…