معرفی
Prof. Dr. Rolf Drechsler is a Full Professor at the University of Bremen since 2001 and Director of the Cyber-Physical Systems Group at DFKI Bremen since 2011. He leads the Computer Architecture working group in the Faculty of Mathematics and Computer Science and previously held adjunct/visiting roles at Duke University, IIT Kharagpur, and ISI Kolkata.
Education:
- Diploma in Computer Science, Goethe University Frankfurt (1992)
- PhD (summa cum laude), Goethe University Frankfurt (1995)
- Habilitation, Albert-Ludwigs-University Freiburg (1999)
His research focuses on formal verification, design automation, and data structures for circuit/system design, with applications in RISC-V processors, quantum computing, and in-memory computing. Recent studies explore LLM integration in hardware verification and polynomial methods for arithmetic circuits.
Key awards include IEEE/ACM Best Paper Awards (ICCAD 2018, DATE 2025), the Berninghausen Prize (2018), IEEE Fellow (2015), and ACM Fellow. He co-founded the Graduate School "System Design" and led editorial roles at IEEE/ACM journals.
