Rolf Drechsler

Rolf Drechsler

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

Inhaltsverzeichnis

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

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

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Drechsler (Familienname) — Drechsler ist ein deutscher Familienname. Inhaltsverzeichnis 1 Herkunft und Bedeutung 2 Varianten 3 Bekannte Namensträger 4 Siehe auch …   Deutsch Wikipedia

  • Drechsler — beim Drehen eines Tellers in Deutschland an einer Holzdrehbank, 1988 Der Drechsler ist ein Handwerker oder Industriearbeiter, der den Beruf des Drechslers handwerklich erlernt hat. Er verarbeitet vorrangig Holz, aber auch Horn, Elfenbein,… …   Deutsch Wikipedia

  • Rolf Beilschmidt — (1978) Rolf Beilschmidt (* 8. August 1953 in Jena, Bezirk Gera) ist ein ehemaliger deutscher Leichtathlet, der in den 1970er Jahren zur Weltspitze im Hochsprung gehörte. Sein sportlicher Höhepunkt waren Siege für die …   Deutsch Wikipedia

  • Werner Drechsler — (January 17, 1923, in Mühlberg, Germany – March 12, 1944 in Papago Park, Arizona) was a German U boat crewman during World War II. He was stationed on Azores in 1943. When he was taken prisoner he enthusiastically cooperated with his captors,… …   Wikipedia

  • Werner Drechsler — Werner Drechsler, fue un marinero alemán durante la Segunda Guerra Mundial destinado en un submarino U 118 que fue hundido en las Azores en 1943. Al ser cogido prisionero, cooperó con entusiasmo con su captores debido a que su padre había pasado… …   Wikipedia Español

  • Binary decision diagram — In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a… …   Wikipedia

  • Binary Decision Diagram — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… …   Deutsch Wikipedia

  • Binäres Entscheidungsdiagramm — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… …   Deutsch Wikipedia

  • OBDD — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… …   Deutsch Wikipedia

  • ROBDD — Ein Binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und verifikation… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”