|
Lecturer University of Freiburg |
 |
Bernd Becker is an IEEE Fellow. He is a Full Professor at the Faculty of Engineering, University of Freiburg, Germany. Prior to joining University of Freiburg in 1995, he was with J.W.Goethe-University Frankfurt as an Associate Professor for "Complexity Theory and Efficient Algorithms".
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 verification methods for embedded systems and test techniques for nanoelectronic circuitry. He has published more than 200 papers in peer-reviewed conferences and journals and has been on the programme and organizing committees of numerous major international conferences.
Bernd Becker has been the holder of several research grants from DFG, BMBF and industry as well. Currently, he acts as the Co-Speaker of the DFG Transregional Collaborative Research Center "Automatic Analysis and Verification of Complex Systems (AVACS)" with project partners from University of Freiburg, University of Saarland, University of Oldenburg and Max Planck Institute of Computer Science.