You are here: Home Personen von A-Z Prof. Dr. Bernd Becker
Document Actions

Prof. Dr. Bernd Becker

— filed under:

back to expert selection

Contact

Faculty of Engineering
Department 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

back to expert selection

Kontakt

Medienanfragen richten Sie bitte an:

Manuel Devant

Manuel Devant
Tel.: (+49) 0761 203 98605
manuel.devant@zv.uni-freiburg.de


Für Expert*innen aus der Uniklinik:

Benjamin Waschow

Benjamin Waschow

Tel.: (+49) 0761 270 19090
benjamin.waschow@uniklinik-freiburg.de

Personal tools