Rolf Drechsler

Rolf Drechsler (* 30. Juli 1969 in Rüsselsheim) ist ein deutscher Informatiker und Professor für Rechnerarchitektur an der Universität Bremen.

Leben und Karriere

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^[1] an der Albert-Ludwigs-Universität Freiburg. Im Jahr 2000 wurde Drechsler Mitarbeiter von Siemens, München, in der Zentralabteilung Technik, Fachzentrum Entwicklungsautomatisierung.^[1] Im Jahr darauf folgte er dem Ruf an den Fachbereich Mathematik/Informatik der Universität Bremen, wo er die Arbeitsgruppe Rechnerarchitektur leitet.^[1] 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.^[2] Dazu gehören auch die Entwicklung neuer Methoden zur Fehlersuche und -bereinigung bei der Chipentwicklung^[3].

Drechsler hat als Autor bzw. Mitautor über 150 wissenschaftliche Publikationen verfasst. Zusammen mit dem Bremer Informatikprofessor Jan Peleska gründete er das Doktorandenkolleg Eingebettete Systeme (GESY).

Seit 2008 ist Drechsler Konrektor für Forschung und wissenschaftlichen Nachwuchs an der Universität Bremen[1].

Veröffentlichungen

• 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-402-07044-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-402-07276-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-402-07721-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-402-06535-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

Weblinks

• Lebenslauf auf der Website der Universität Bremen
• Universität Bremen/Arbeitsgruppe Rechnerarchitektur

Fußnoten

1. ↑ ^{a b c} Universität Bremen, Pressemitteilung Nr. 012 / 15. Januar 2008 SC - Informatik-Professor Rolf Drechsler wird Konrektor für Forschung und wissenschaftlichen Nachwuchs der Universität Bremen, 15. Januar 2008
2. ↑ Universität Bremen/Arbeitsgruppe Rechnerarchitektur, Team, abgerufen am 13. Februar 2010
3. ↑ heise.de, Forschungsprojekt zu fehlerfreiem Chip-Design, 12. Februar 2010

Normdaten: PND: 118011057 (PICA) | WP-Personeninfo