Prof. Dr. Christoph Lüth

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


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

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

To the publication
Rolf Drechsler, Christoph Lüth, Goerschwin Fey, Tim Güneysu

In: 3rd International Verification and Security Workshop (IVSW). International Verification and Security Workshop (IVSW-03) July 2-4 Platja d'Aro Spain 2018.

To the publication
Christoph Lüth, Martin Ring, Rolf Drechsler

In: Sunil Khatri (editor). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on Reliability, Infocom Technologies and Optimization (ICRITO-2017) 6th September 20-23 Noida India IEEE 9/2017.

To the publication


Personal Information

Christoph Lüth is vice director and research administrator of the Cyber-Physical Systems group, and a Professor at the University of Bremen. He holds a PhD from the University of Edinburgh, and a Habilitation from the University of Bremen.

His research is concerned with the reliable construction of correct software. This includes theoretical foundations as found in category theory, formal software development, and interactive proof, as well as tool development and applications in practical areas such as robotics.

In addition to his research and project work at DFKI, Christoph Lüth is teaching regularly at computer science department of the University of Bremen.



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...



Quality-driven Design Flow using Formal Specifications and Functional Change Management

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the challenges of the increased demand on the quality, and...


Sicherer Kegelscanner

In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an innovative scanner design and advanced environment...



Safety component for autonomous mobile service robots

The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a certified safety laser scanner to control a safety zone...


Generic User Interfaces for Interactive Theorem Provers

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between interactive proof tools, called PGIP.


  • IBM...

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