Head of the Research Department Cyber-Physical Systems
Prof. Dr. Rolf Drechsler
- Organizational unit
Cyber-Physical Systems
- Contact
Phone (Bremen): +49 421 218 63932
Rolf.Drechsler@dfki.de
www.rolfdrechsler.de
- Address (Bremen)
Mehrzweckhochhaus (MZH)
Bibliothekstraße 5
D-28359 Bremen
Publications
Profile
Since October 2001, Rolf Drechsler is a Full Professor and the Head of the Group of Computer Architecture, Institute of Computer Science, at the University of Bremen, Germany. In 2011, he additionally became the Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI) in Bremen.
Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.
Rolf Drechsler has been and still is a member of the Program Committees of numerous conferences (including e.g. DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, FMCAD). Besides, he is a co-founder of the Graduate School of Embedded Systems, which started in 2006. Since 2012, he additionally coordinates the Graduate School System Design.
Academic education and career
- since 2018 Adjunct Professor, Indian Statistical Institute (ISI), Kolkata, India
- 2014-2016 International Guest Professor, Indian Institute of Technology (IIT), Kharagpur, India
- Since 2012 Term Member, Duke University, Durham, USA
- Since 2002 Professor (C4) for Computer Architecture, University of Bremen, Germany
- 2001-2002 Professor (C3) for Computer Architecture, University of Bremen, Germany
- 1999 Habilitation, Albert-Ludwigs-Universität, Freiburg im Breisgau, Germany
- 1996-2000 PostDoc, Faculty of Applied Science, Albert-Ludwigs-Universität, Freiburg im Breisgau, Germany
- 1995-1996 Researcher, Faculty of Applied Science, Albert-Ludwigs-Universität, Freiburg im Breisgau, Germany
- 1995 Dr. phil. nat. (summa cum laude), J.W. Goethe-Universität, Frankfurt am Main, Germany
- 1993-1995 Researcher, Department of Computer Science, J.W. Goethe-Universität, Frankfurt am Main, Germany
- 1992 Researcher, Department of Computer Science, Universität des Saarlandes, Saarbrücken, Germany
- 1992 Diploma in Computer Science, J.W. Goethe-Universität, Frankfurt am Main, Germany
- 1988-1992 Student of Mathematics and Computer Science, J.W. Goethe-Universität, Frankfurt am Main, Germany
Professional career
- since 2011 Director of the research department Cyber-Physical Systems, DFKI Bremen, Germany
- 2000-2001 Senior Engineer (Corporate Technology), Siemens, Munich, Germany
- 2018 Berninghausen-Preis, category “Hervorragende, innovative Lehrveranstaltung“, Bremen, Germany
- 2018 IEEE/ACM Best Paper Award, International Conference on Computer Aided Design (ICCAD), San Diego, USA
- 2018 Best Poster Award, 28th ACM Great Lakes Symposium on VLSI (GLVLSI), Chicago, USA
- 2017 Honorary Professorship Amity University Dubai
- 2016 ACM Recognition of Service Award, Association for Computing Machinery
- 2015 IEEE Fellow
- 2013 IEEE/ACM Best Paper Award, International Conference on Computer-Aided Design (ICCAD), San Jose, USA
- 2013 Award for the company foundation „Solvertec“ within the founder competition “IKT Innovativ” of the Federal Ministry of Economic Affairs and Technology
- 2012 Founder and Coordinator of the Graduate School System Design (SyDe) founded within the German Excellence Initiative
- 2012 Member of the Technical Advisory Board of Atrenta Inc.
- 2010 Best Paper Award, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Vienna, Austria
- 2007 Best Paper Award, Forum on Specification & Design Languages (FDL), Barcelona, Spain
- 2006 Best Paper Award, Haifa Verification Conference (HVC), Haifa, Israel
- 2006 Foundation of the Graduate School of Embedded Systems (GESy)
- since 2019 Member of the Scientific Technical Advisory Council of the German Aerospace Center (DLR)
- 2019-2020 Member of the Editorial Board of the journal IEEE Transactions on Very Large Scale Integration (VLSI) Systems
- 2018-2019 Member of the Editorial Board of the journal IEEE Transactions on Computer-Aided Design of Circuits and Systems (TCAD)
- 2016 Associate Editor of the ACM Journal on Emerging Technologies in Computing (JETC)
- 2016 Associate Editor of the journal IET Cyber-Physical Systems: Theory & Applications
- 2016 Associate Editor of the Journal on Design Automation for Embedded Systems (DAEM)
- since 2015 Member of the DFG Review Board (German Research Foundation)
- 2014-2016 Associate Editor of the ACM Journal on Emerging Technologies in Computing Systems
- 2013-2016 Member of the German Academic Exchange Service (DAAD)
- 2013 Member of the Executive Board of the German University Association of Advanced Graduate Training (UniWiND)
- 2010-2015 Member of the Academic Executive Advisory Board Elsevier B.V.
- 2008-2013 Vice Rector for Research and Young Academics at the University of Bremen
- 2006-2008 Associate Editor of the journal IET Computers and Digital Techniques
- 2003 IEEE Senior Member
- 2001 Associate Editor of the International Journal on Multi-Valued Logic and Soft Computing (MVLSC)
- 1994 IEEE Member
- 2018 General Chair 23rd European Test Symposium (ETS 2018), Bremen, Germany
- 2018 General Chair 13th International Workshop on Boolean Problems (IWSBP 2018), Bremen, Germany
- 2017 General Chair 20. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2017), Bremen, Germany
- 2016 General Chair Forum on Specification & Design Languages (FDL 2016), Bremen, Germany
- 2016 Session Chair 53rd Design Automation Conference (DAC 2016), Austin, USA
- 2014 General Chair 44th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2014), Bremen, Germany
- 2013 Program Chair 8th IEEE International Design and Test Symposium (IDT 2018), Marrakesh, Marokko
VerSys
A Sound Verification Platform for Early Software Development for RISC-V based Systems
The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been…
SATiSFy
Timely Validation of Safey and Security Requirements in Autonomous Vehicles
The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security…
SAFE-10-T
Safety of Transport Infrastructure on the TEN-T Network
The SAFE-10-T project will develop a Safety Framework to ensure high safety performance while allowing longer life-cycles for critical infrastructure across the road, rail and inland waterway…
SELFIE
Self-Verification of Electronic Systems
The exponential growth of the complexity of electronic systems makes it
increasingly diffult to prove their correctness (verification). Addressing
this problem, the goal of the SELFIE project is a…
MANIAC
BDD Manipulation for Approximate Computing
The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits the capability of many applications to tolerate a…
