Becker Bernd

Bernd Becker is a Professor of Computer Science at the University of Freiburg, where he has led the Chair of Computer Architecture until 2021. He previously served as Dean of the Faculty of Engineering (2010–2012) and held roles at institutions like the University of Tokyo (Visiting Professor, 2009/2010) and J.W. Goethe University Frankfurt (Professor of Complexity Theory, 1989–1995). His research focuses on VLSI CAD, algorithm optimization for circuit testing, and reliability of embedded systems. He has authored over 350 peer-reviewed publications and holds patents in VLSI design.

Education: He earned his PhD in Computer Science from the University of Saarland (1982) and completed Habilitation (1988) under Prof. G. Hotz. His doctoral thesis addressed graph embedding, while his habilitation focused on Boolean circuit design and testing.

Research Interests: Becker specializes in symbolic methods for circuit verification, formal safety protocols, and nanoelectronics testing. His work bridges academic and industrial applications, emphasizing efficient algorithms for CAD tools. Recent projects include reliability frameworks for embedded systems and advanced test methodologies for emerging nanoelectronics.

Awards: Recognized as an IEEE Fellow (2008), he has received multiple teaching awards (2012–2013) and the EDA Medal (2021). He actively contributes to academic governance, serving on steering committees for conferences like DATE and ETS, and co-led the Transregional Collaborative Research Center AVACS (2003–2015).

Professional Roles: He has been a member of the Scientific Directorate at Schloss Dagstuhl (2011–2019), the Board of Directors for the Centre for Security and Society (since 2010), and has organized major international symposia including ISMVL 1999 and ETS 2007.