Rolf Drechsler

Rolf Drechsler is a Full Professor and Head of the Group of Computer Architecture at the University of Bremen since 2001, with additional role as Director of the Cyber-Physical Systems Group at DFKI Bremen since 2011. He holds a Dr. phil. nat. in computer science from Johann Wolfgang Goethe University Frankfurt and has held academic positions at Albert-Ludwigs University Freiburg and Siemens AG.

• Education: Diploma and Dr. phil. nat. in Computer Science (Johann Wolfgang Goethe University Frankfurt, 1992-1995)
• Previous Roles: Albert-Ludwigs University Freiburg (1995-2000), Siemens AG Munich (2000-2001)

His research focuses on formal verification, circuit/system design, and data structures for hardware validation. He has pioneered work on polynomial verification methods, BDD-based synthesis, and quantum computing verification frameworks. Recent publications analyze memristor-based in-memory computing, RISC-V security, and LLM-assisted hardware validation.

Key awards include

• ACM Fellow
• IEEE Fellow
• Berninghausen Teaching Award (2018)
• Multiple best paper awards at ICCAD, DATE, DAC, and DDECS

He serves as Associate Editor in journals like IEEE Transactions on CAD and ACM Journal on Emerging Technologies. He co-founded the Graduate School of Embedded Systems and Data Science Center at University of Bremen.