Christoph Lüth

Christoph Lüth is a Professor of Computer Science at the University of Bremen and Deputy Head of the Cyber-Physical Systems research group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. He has been affiliated with DFKI since 2006 and focuses on constructing provably correct software through theoretical foundations and practical tool development.

• Doctorate from University of Edinburgh
• Habilitation from University of Bremen

His research spans advanced systems engineering, formal methods, and functional programming, with applications in robotics and hardware security. Recent work emphasizes open-source chip design, post-quantum cryptography, and memory protection for RISC-V architectures.

Lüth contributes to projects like PROTECT (cybersecurity resilience), EASEPROFIT (post-quantum secure protocols), DI-OCDCPro (open-source chip design education), and SIGN-HEP (hardware security modules). He has authored over eighty scientific papers.

At the University of Bremen, he teaches courses on functional programming, programming languages, and formal methods.