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) since 2006. His work bridges theoretical foundations with practical applications in advanced systems engineering, focusing on provably correct software and program verification.

• Key affiliations: DFKI Bremen, University of Bremen
• Research areas: Systems Engineering, Robotics, Hardware Security, Formal Methods
• Projects: PROTECT (secure systems), EASEPROFIT (post-quantum protocols), DI-OCDCPro (open-source chip design), SIGN-HEP (secure HSM development)

His recent publications highlight trends in formal verification of binary code, memory protection in RISC-V architectures, and open-source hardware evaluation. At the University of Bremen, he teaches functional programming and programming language theory.

Contact: Christoph.Lueth@dfki.de