About
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
0Publications listed
Find Christoph Lüth elsewhere
Related Searches
You Might Also Like
Christoph LüthMax Planck Institute for Informatics · Professor
Daniel GroßeMax Planck Institute for Informatics · Professor
Rolf DrechslerQueensland University of Technology · Professor
Rolf DrechslerUniversity of Mannheim · Professor
Aboubakr Achraf El GhaziKarlsruhe Institute of Technology · Researcher
Adam FishUniversity of New South Wales · Associate Professor