Prof. Dr. Christoph Lüth
Organisationseinheit
Cyber-Physical Systems
Adresse
(Bremen)
Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen
Publikationen
Alle PublikationenProfil
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.
PROTECT
Proving Next Generation Secure SystemsCyber-Angriffe auf Unternehmen und öffentliche Einrichtungen nehmen weltweit drastisch zu. Das von der Cyberagentur geförderte Projekt PROTECT entwickelt Lösungen, um IT-Systeme widerstandsfähiger…
EASEPROFIT
Agile Post-Quantum-Sichere Protokolle für die FinanzindustrieQuantencomputer könnten bis 2030 in der Lage sein, die derzeitig eingesetzten asymmetrischen Kryptoverfahren zu brechen, wodurch ein Bedarf an quantenresistenten Verschlüsselungsstandards entsteht.…
DI-OCDCPro
Open-Source-Chipdesign-Infrastruktur als Lern- und Wettbewerbsplattform für Studierende und junge TalenteUm das Innovationsökosystem beim Chipdesign in Deutschland zu stärken und mehr junge Menschen für das wichtige Arbeitsgebiet der Halbleiter- und Chip-Entwicklung zu gewinnen,wird im Rahmen des…
SIGN-HEP
Sicheres industriell anwendbares genormtes HSM basierend auf offenen EDA-Tools und ProzessorenQuelloffene Ansätze im Hardwareentwurf haben in den letzten Jahren erhöhte Aufmerksamkeit erhalten; es gibt viele erfolgversprechende Ansätze, aber noch keine industrieweite Akzeptanz wie im…
DataNord - MRI4ALL
Research Academy Projekt MRI4AII des Interdisziplinären Datenkompetenzzentrums für die Region Bremen - DataNordIn 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…