Bernd Becker

Bernd Becker is a Professor in the Department of Computer Science at the Faculty of Engineering, University of Freiburg, Germany. He has been actively publishing in the fields of formal methods, hardware verification, and automated reasoning since the 1980s, with a sustained record of high-impact publications up to 2025.

His research interests span formal verification, SAT and SMT solving, hardware testing, probabilistic systems, and embedded systems security. His work bridges theoretical advances in automated reasoning with practical applications in processor design, RISC-V verification, and safety-critical systems.

The recent articles highlight a strong focus on applying formal methods to emerging challenges in hardware and AI, including POMDPs for robot planning, RISC-V security, GPU verification, and energy-efficient monitoring. There is a clear trend toward integrating symbolic computation with machine learning and probabilistic reasoning.

Bernd Becker has collaborated extensively with researchers such as Ralf Wimmer, Ilia Polian, and Matthias Sauer, indicating leadership in a large, interdisciplinary research group. His work has been supported by numerous grants, though specific details are not listed in the source text.

He has contributed to major conferences such as DATE, FMCAD, and SAT, and has mentored several students and researchers, though specific names are not provided. He is involved in projects related to secure scan networks, physical unclonable functions, and smart home systems.