Rolf DrechslerView profile
Professor
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.







