Prof. Dr. Bernd Becker
—
filed under:
Informatik
Contact
Faculty of EngineeringDepartment of Computer Science (INF)
Computer Architecture and Operating Systems
Georges-Köhler-Allee 51, 79110 Freiburg
Phone: +49(0) 761 / 203-8141
Fax: +49(0) 761 / 203-8142
Foto: Bernd Becker
Email: becker@informatik.uni-freiburg.de
Website: http://ira.informatik.uni-freiburg.de/src/team_view.php?teamID=4
Membership
BrainLinks-BrainTools
Centre for Security and Society
Fields
- basic data structures and core algorithms
- Keywords: SAT, SMT, (D)QBF, BDDs
- E-Learning/Educational Devlopment/Continuing Education
- Keywords: Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme; SMILE - Smartphones in der Lehre; Freiräume für Wissenschaftliche Weiterbildung
- Computer-Aided Design of Circuits and Systems
- Keywords: Defect-based test of nanoelectronics; ATPG: Automatic test pattern generation; Timing analysis; EDC++: Electronic depth control neural probes with on-shaft signal conditioning and smart adaptive reconfiguration capabilities
- Verification, Test and Reliability of Embedded Systems
- Keywords: AVACS: Automatic Verification and Analysis of Complex Systems; Sicherheit: Safety and Security; Neurobots: Brain-controlled intelligent Robotics