Rolf Drechsler

from Wikipedia, the free encyclopedia

Rolf Drechsler (born July 30, 1969 in Rüsselsheim ) is a German computer scientist and professor of computer architecture at the University of Bremen . Rolf Drechsler has been head of the Cyber-Physical Systems research department at DFKI since 2011 .

life and career

After graduating from high school in Bad Vilbel , Hessen , Rolf Drechsler studied mathematics and computer science at the Johann Wolfgang Goethe University in Frankfurt am Main from 1988 to 1992 , from which he graduated in 1992 with a computer science diploma. In 1995 he received his doctorate with distinction and obtained his habilitation in 1999 on the subject of automatic synthesis and verification in computer-aided circuit design at the Albert Ludwig University of Freiburg . In 2000 Drechsler became an employee of Siemens , Munich , in the central technology department, specialist center for development automation. In the following year he accepted the call to the department of mathematics / computer science at the University of Bremen, where he heads the computer architecture working group. As an author or co-author, Drechsler has written over 150 scientific publications.

Together with the computer science professor Jan Peleska from Bremen , he founded the doctoral college for embedded systems in 2006 .

From 2008–2013 Drechsler was Vice President for Research and Young Scientists at the University of Bremen .

In October 2011 Drechsler took over the management of the Cyber-Physical Systems research department at the German Research Center for Artificial Intelligence (DFKI) in Bremen. The focus of the research area is on formal methods, the quality-oriented design of embedded systems and cognitively adequate technical systems.

In 2012 he was appointed a so-called “Term Member” of their graduate school “Electrical and Computer Engineering” at Duke University in North Carolina (USA).

Together with the Bremen computer science professors Frank Kirchner and Görschwin Fey , Rolf Drechsler founded the Graduate College System Design (SyDe) in November 2012 , which accompanies scientists on their way to doctoral degrees. SyDe is a cooperation between the University of Bremen , the German Research Center for Artificial Intelligence (DFKI) and the German Aerospace Center (DLR) .

In December 2018, Drechsler was elected Dean of the Faculty of Mathematics and Computer Science at the University of Bremen.

research

Drechsler's research focuses on the development and use of problem-specific data structures and efficient algorithms for computer-aided circuit design. This also includes the development of new methods for troubleshooting and debugging chip development.

One of Drechsler's research areas includes new test methods for computer chips. Thanks to his expertise in this area, a cooperation between Drechsler's computer architecture group and Duke University in North Carolina (USA) has resulted.

Another research focus of Drechsler is in the area of ​​future computer technologies, many of his research work dealt with the design and validation of quantum computers .

Publications

  • Ordered Kronecker functional decision diagrams and their application , 1996, ISBN 3-9805033-0-5
  • Graph-based function representation , with Bernd Becker, Stuttgart 1998, ISBN 3-519-02149-8
  • Binary Decision Diagrams: Theory and Implementation with 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 with Mitchell Aaron Thornton and D. Michael Miller , Berlin 2001, ISBN 0-7923-7433-9
  • Towards One-Pass Synthesis with Wolfgang Günther, Berlin 2002, ISBN 1-4020-7044-6
  • Software engineering and hardware design with Axel Sikora, Munich / Vienna 2002, ISBN 3-446-21861-0
  • Evolutionary Algorithms for Embedded System Design (Ed. With Nicole Drechsler), Berlin 2002, ISBN 1-4020-7276-7
  • Methods and description languages ​​for modeling and verification of circuits and systems (Ed. With Jürgen Ruf), Aachen 2003, ISBN 3-8322-1202-7
  • Advanced Formal Verification (Ed.), Berlin 2004, ISBN 1-4020-7721-1
  • FunTaskIC: an integrated design environment for SystemC (ed.) With Görschwin Fey, Aachen 2005, ISBN 3-8322-3675-9
  • Advanced BDD Optimization with Rüdiger Ebendt and Görschwin Fey, Berlin 2005, ISBN 0-387-25453-6
  • Robustness and Usability in Modern Design Flows with Görschwin Fey, Berlin 2007, ISBN 978-1-4020-6535-4
  • Test Pattern Generation using Boolean Proof Engines with Stephan Eggersglüß, Görschwin Fey and Daniel Tille, Berlin 2009, ISBN 978-90-481-2359-9
  • Quality-Driven SystemC Design with Daniel Große, Berlin 2009, ISBN 978-90-481-3630-8
  • Debugging at the Electronic System Level with Frank Rogin, Berlin 2010, ISBN 978-90-481-9254-0
  • Towards a Design Flow for Reversible Logic with Robert Wille, Berlin 2010, ISBN 978-90-481-9578-7
  • High Quality Test Pattern Generation and Boolean Satisfiability with Stephan Eggersglüß, Heidelberg 2012, ISBN 978-1-4419-9975-7
  • On the way to the quantum computer - design of reversible logic with Mathias Soeken and Robert Wille, 2012, ISBN 978-3-8440-1199-9
  • Aspects of Technical Computer Science (Ed.), 2014, ISBN 978-3-95645-235-2
  • Formal Specification Level with Mathias Soeken, 2014, ISBN 978-3-319-08698-9
  • Formal Modeling and Verification of Cyber-Physical Systems with Ulrich Kühne, 2015, ISBN 978-3-658-09993-0
  • Synthesis and optimization methods for future computer paradigms with Robert Wille and Oliver Keszöcze, 2015, ISBN 978-3-8440-3467-7
  • Languages, Design Methods, and Tools for Electronic System Design with Robert Wille (Ed.), 2015, ISBN 978-3-319-31722-9
  • Reversible and Quantum Circuits with Nabila Abdessaied, 2016, ISBN 978-3-319-31935-3
  • Automatic Methods for the Refinement of System Models with Julia Seiter and Robert Wille, 2016, ISBN 978-3-319-41479-9
  • Methods and description languages ​​for the modeling and verification of circuits and systems with Daniel Große, 2017, ISBN 978-3-8440-4996-1
  • Computer: How do smartphones, tablets & Co. work? with Andrea Fink, Jannis Stoppe, 2017, ISBN 978-3-662-53059-7
  • Formal System Verification as editor Rolf Drechsler, 2017, ISBN 978-3-319-57685-5
  • with André Inácio Reis: Advanced Logic Synthesis. 2017, ISBN 978-3-319-67295-3 .
  • with Oliver Keszöcze, Robert Wille: Exact Design of Digital Microfluidic Biochips. 2018, Kindle Edition
  • with Arun Chandrasekharan, Daniel Große: Design Automation Techniques for Approximation Circuits . Springer, Cham 2019, ISBN 978-3-319-98965-5 .
  • with Saeideh Shirinzadeh: In-Memory Computing - Synthesis and Optimization . Springer, Cham 2020, ISBN 978-3-030-18026-3 .
  • with Mathias Soeken (Ed.): Advanced Boolean Techniques . Springer, Cham 2020, ISBN 978-3-030-20323-8 .

Web links

Individual evidence

  1. ↑ German Research Center for Artificial Intelligence GmbH: Director Prof. Dr. Rolf Drechsler  ( page no longer available , search in web archives )  Info: The link was automatically marked as defective. Please check the link according to the instructions and then remove this notice.@1@ 2Template: Dead Link / www.dfki.de  
  2. ↑ a b c University of Bremen, press release No. 012 / January 15, 2008 SC - Computer Science Professor Rolf Drechsler becomes Vice President for Research and Young Scientists at the University of Bremen , January 15, 2008
  3. ↑ http://www.uni-bremen.de/campus/campuspress/unipress/06-254.php3
  4. ↑ http://www.uni-bremen.de/campus/campuspress/unipress/08-012.php3
  5. ↑ DFKI press box, with Prof. Dr. Rolf Drechsler will focus on "Cyber-Physical Systems" at DFKI Bremen , November 21, 2011
  6. ↑ http://www.informatik.uni-bremen.de/syde/index.php?index
  7. ↑ http://www.dlr.de/dlr/desktopdefault.aspx/tabid-10002/
  8. ^ University of Bremen / Computer Architecture Working Group, Team , accessed on February 13, 2010
  9. ↑ heise.de, research project on error-free chip design , February 12, 2010
  10. ↑ http://www.informatik.uni-bremen.de/agra/ger/index.php


personal data
SURNAME Wood turner, Rolf
BRIEF DESCRIPTION German computer scientist and professor of computer architecture
DATE OF BIRTH July 30, 1969
PLACE OF BIRTH Ruesselsheim