Rolf Drechsler

Rolf Drechsler (* 30. Juli 1969 in Rüsselsheim) ist ein deutscher Informatiker und Professor für Rechnerarchitektur an der Universität Bremen. Rolf Drechsler ist seit 2011 Leiter des Forschungsbereichs Cyber-Physical Systems am DFKI.

Nach dem Abitur in Bad Vilbel, Hessen, studierte Rolf Drechsler 1988 bis 1992 an der Johann Wolfgang Goethe-Universität Frankfurt am Main Mathematik und Informatik, welches er mit dem Informatik-Diplom 1992 abschloss. 1995 promovierte er mit Auszeichnung und habilitierte sich 1999 zum Thema Automatische Synthese und Verifikation im computergestützten Schaltkreisentwurf an der Albert-Ludwigs-Universität Freiburg. Im Jahr 2000 wurde Drechsler Mitarbeiter von Siemens, München, in der Zentralabteilung Technik, Fachzentrum Entwicklungsautomatisierung. Im Jahr darauf folgte er dem Ruf an den Fachbereich Mathematik/Informatik der Universität Bremen, wo er die Arbeitsgruppe Rechnerarchitektur leitet. Drechsler hat als Autor bzw. Mitautor über 150 wissenschaftliche Publikationen verfasst.

Zusammen mit dem Bremer Informatikprofessor Jan Peleska gründete er 2006 das Doktorandenkolleg Eingebettete Systeme (GESY).

In den Jahren 2008–2013 war Drechsler Konrektor für Forschung und wissenschaftlichen Nachwuchs an der Universität Bremen[1].

Im Oktober 2011 übernahm Drechsler die Leitung des Forschungsbereichs Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) in Bremen . Der Fokus des Forschungsbereichs liegt auf formalen Methoden, dem qualitätsorientierten Design von eingebetteten Systemen und kognitiv adäquaten technischen Systemen.

2012 wurde er zum so genannten „Term Member“ ihrer Graduiertenschule „Electrical and Computer Engineering“ der Duke University in North Carolina (USA).ernannt.

Gemeinsam mit den Bremer Informatikprofessoren Frank Kirchner und Görschwin Fey gründete Rolf Drechsler im November 2012 das Graduiertenkolleg System Design (SyDe) [2], das Wissenschaftlerinnen und Wissenschaftler auf dem Weg zum Doktorgrad begleitet. SyDe ist eine Kooperation der Universität Bremen, des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) und dem Deutschen Zentrum für Luft- und Raumfahrt (DLR) [3].

Der Schwerpunkt der Forschungen von Drechsler liegt in der Entwicklung und dem Einsatz von problemspezifischen Datenstrukturen und effizienten Algorithmen für den computergestützten Schaltkreisentwurf. Dazu gehören auch die Entwicklung neuer Methoden zur Fehlersuche und -bereinigung bei der Chipentwicklung.

Ein Forschungsgebiet Drechslers umfasst neue Testverfahren für Computerchips. Durch seine Expertise auf diesem Gebiet hat sich eine Kooperation zwischen der Arbeitsgruppe Rechnerarchitektur von Drechsler und der Duke University in North Carolina (USA) ergeben.

Ein weiterer Forschungsschwerpunkt Drechslers liegt im Bereich zukünftiger Rechnertechnologien, viele seiner betrachteten Forschungsarbeiten befassen sich mit dem Entwurf und der Validierung von Quantencomputern.

• Ordered Kronecker functional decision diagrams und ihre Anwendung, 1996, ISBN 3-9805033-0-5
• Graphenbasierte Funktionsdarstellung, mit Bernd Becker, Stuttgart 1998, ISBN 3-519-02149-8
• Binary Decision Diagrams : Theory and Implementation mit Bernd Becker, Berlin 1998, ISBN 0-7923-8193-9
• Evolutionary Algorithms for VLSI CAD, Berlin 1998, ISBN 0-7923-8168-8
• Formal Verification of Circuits, Berlin 2000, ISBN 0-7923-7858-X
• Spectral Techniques in VLSI CAD mit Mitchell Aaron Thornton und D. Michael Miller, Berlin 2001, ISBN 0-7923-7433-9
• Towards One-Pass Synthesis mit Wolfgang Günther, Berlin 2002, ISBN 1-4020-7044-6
• Software-Engineering und Hardware-Design mit Axel Sikora, München/Wien 2002, ISBN 3-446-21861-0
• Evolutionary Algorithms for Embedded System Design (Hrsg. mit Nicole Drechsler), Berlin 2002, ISBN 1-4020-7276-7
• Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Hrsg. mit Jürgen Ruf), Aachen 2003, ISBN 3-8322-1202-7
• Advanced Formal Verification (Hrsg.), Berlin 2004, ISBN 1-4020-7721-1
• FunTaskIC : eine integrierte Entwurfsumgebung für SystemC (Hrsg.) mit Görschwin Fey, Aachen 2005, ISBN 3-8322-3675-9
• Advanced BDD Optimization mit Rüdiger Ebendt und Görschwin Fey, Berlin 2005, ISBN 0-387-25453-6
• Robustness and Usability in Modern Design Flows mit Görschwin Fey, Berlin 2007, ISBN 978-1-4020-6535-4
• Test Pattern Generation using Boolean Proof Engines mit Stephan Eggersglüß, Görschwin Fey und Daniel Tille, Berlin 2009, ISBN 978-90-481-2359-9
• Quality-Driven SystemC Design mit Daniel Große, Berlin 2009, ISBN 978-90-481-3630-8
• Debugging at the Electronic System Level mit Frank Rogin, Berlin 2010, ISBN 978-90-481-9254-0
• Towards a Design Flow for Reversible Logic mit Robert Wille, Berlin 2010, ISBN 978-90-481-9578-7
• High Quality Test Pattern Generation and Boolean Satisfiability mit Stephan Eggersglüß, Heidelberg 2012, ISBN 978-1-4419-9975-7
• Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik mit Mathias Soeken und Robert Wille, 2012, ISBN 978-3-8440-1199-9