PERSONAL DATA




Prof. Dr. Bernd Becker

Address

Institute of Computer Science
Albert-Ludwigs-University
Georges-Koehler-Allee 51
79110 Freiburg im Breisgau
Germany

Office

Building 51, Room 01..033

Phone

++49 +761 203-8140

Fax

++49 +761 203-8142

E-Mail

becker@informatik.uni-freiburg.de




BIOGRAPHICAL SKETCH


EDUCATION

1988

University of Saarland, Faculty for Mathematics and Natural Sciences, Habilitation in Computer Science. Postdoc Advisor: Prof. Dr. G. Hotz, Topic: Design and Test of Boolean Circuits.

1983

Dr. Eduard - Martin - Award of Vereinigung der Freunde der Universität des Saarlandes for ``outstanding scientific work in his PhD thesis''.

1973-1982    

University of Saarland, Department of Mathematics and Computer Science, Diploma in Mathematics (1979). Thesis Supervisor: Prof. Dr. G. Frey. Diploma Thesis Title: An Algebraic Proof of the Main Theorems of Complex Multiplication. PhD (1982). Thesis Supervisor: Prof. Dr. G. Hotz. PhD Thesis Title: On the Crossing-free, Rectangular Embedding of Weighted Graphs in the Plane.


EMPLOYMENT / EXPERIENCE

2010-2012    

Dean of the Faculty of Engineering, University of Freiburg

2009/2010

Off-Site Visiting Professor, VLSI Design and Education Center, University of Tokyo (2 months)

2002/2003

Mentor Graphics Corporation, Design for Test Division, Wilsonville, Oregon (Visiting Researcher 2 months)

since 1995

Professor (C4) for Computer Science, Faculty of Engineering of the University of Freiburg, Head of the Chair of Computer Architecture from 1995-2021

1993-1994

Visiting Researcher at the International Computer Science Institute, Berkeley, CA.

1992

Offer for a professorship (C4) in practical computer science (Gesamthochschule Essen)

1989-1995

Professor (C3) for Complexity Theory and Efficient Algorithms, Computer Science Department, J.W. Goethe - University Frankfurt am Main

1988-1989

Researcher and Lecturer in the Leibniz-Program of DFG (Prof. G. Hotz).

1987-1988

Visiting Professor, Computer Science Department, J.W. Goethe - University Frankfurt am Main.

1985

Siemens AG, Testabteilung, ZTI DES V, Munich (Visiting Scientist, 2 months)

1984-1988

Researcher and Lecturer in the Sonderforschungsbereich 124 (B1) VLSI Design Methods and Parallel Algorithms, University of Saarland and Kaiserslautern.

1982

Siemens AG, Testabteilung, ZTI DES V, Munich (Visiting Scientist, 2 months)

1981-1983

Researcher, Computer Science Department (Prof. Dr. G. Hotz), University of Saarland

1979-1981  

Researcher in the Sonderforschungsbereich 100 Elektronic Speech Recognition, University of Saarland.


SELECTED PROFESSIONAL ACTIVITIES

2018

Program Chair, ETS (European Test Symposium)

2011-2020

Member of the Scientific Directorate, Leibniz Center for Informatics, Schloss Dagstuhl

since 2010

Board of Directors, Centre for Security and Society, University of Freiburg

2010-2021

Member of Steering Committee: IEEE International Workshop on Reliability Aware System Design and Test (RASDAT)

2007-2021

Member of Steering Committee: European Test Symposium (ETS)

2007-2020

Topic Chair / Co-Chair "Test Generation, Simulation and Diagnosis", DATE (Design and Test in Europe)

2007

General Chair, ETS (European Test Symposium)

2005-2014

Member of the Graduate School 1103 Embedded Microsystems

2005-2009

Member of the Graduate School 806 Mathematische Logik und Anwendungen

2003-2016

Co-Speaker of the Transregional Collaborative Research Center 14 Automatic Verification and Analysis of Complex Systems (AVACS)

2000-2001    

Member of the Organizing Committee of ICCD (International Conference of Computer Design)

1990-2021    

Member of the Steering Committee of the German GI/ITG/GME Group on Testing and Fault Tolerance.

1999

General Co-Chair, ISMVL (International Symposium on Multiple Valued Logic)


HONOURS, AWARDS

2021

EDA Medal for lifetime achievements in research, development, promotion and application in the field of Electronic Design Automation (EDA), edacentrum

2014

Continuing Education Award Baden-Württemberg "HochschuleWirtschaft"

2013

University Teaching Award, University of Freiburg

2012

Fellowship for Innovations in University Teaching (Baden-Württemberg Stiftung, Joachim Herz Stiftung und Stifterverband für die Deutsche Wissenschaft)

2012, 2014

Instructional Development Award, University of Freiburg

since 2011

Member of Academia Europaea

since 2008    

IEEE Fellow for contributions to the development of algorithms and data structures for testing and verification of integrated circuits


PATENTS

Patent DE3734816: Schneller, leicht generierbarer und leicht testbarer VLSI Addierer; 27.4.1989, Patentinhaber: Siemens AG; Erfinder: Bernd Becker, Reiner Kolla

Patent US5153849: Multiplier Having an Optimum Arrangement of Anding and Adding Circuits; 6.10.1992; Patentinhaber: Siemens AG; Erfinder: Gerd Venzl, Rebecca Mitchell, Ulrich Nerz, Holger Soukup, Wolfram Roth, Bernd Becker


PUBLICATIONS

More than 400 publications in conferences, journals and books

To the publication browser of the chair of computer architecture, team Bernd Becker


RESEARCH AREAS & PROJECTS

The research activities of Bernd Becker have been primarily in the area of computer-aided design, test and verification of (digital) circuits and systems (VLSI CAD). A focus of his research is the development and analysis of efficient data structures and algorithms in VLSI CAD. The development of symbolic methods for test and verification of digital circuits and their integration in the industrial flow is one of the major achievements of his work. More recently, he has been working on reliability issues of embedded systems (in particular formal methods for safety and security concerns) and test techniques for nanoelectronic circuitry. He has been the holder of several research grants from DFG, BMBF, EU and industry as well.

To the research section of the chair of computer architecture, team Bernd Becker


TEACHING SUBJECTS

Introductory computer science, computer architecture, embedded systems, verification, test and reliability.

To the teaching section of the chair of computer architecture, team Bernd Becker