Prof. Dr. Bernd Becker

Zurück zur Auswahl des:der Expert:in

Kontakt

Technische Fakultät
Institut für Informatik (IIF)
Rechnerarchitektur und Betriebssysteme
Georges-Köhler-Allee 51, 79110 Freiburg

Telefon: +49(0) 761 / 203-8141
Telefax: +49(0) 761 / 203-8142
                                                                               Foto: Bernd Becker
E-Mail: becker@informatik.uni-freiburg.de
Webseite: http://ira.informatik.uni-freiburg.de/src/team_view.php?teamID=4

Mitgliedschaft
BrainLinks-BrainTools
Zentrum für Sicherheit und Gesellschaft

 

Fachgebiete

Basis-Datenstrukturen und Kernalgorithmen

Stichworte: SAT, SMT, (D)QBF, BDDs

E-Learning/Lehrentwicklung/Weiterbildung

Stichworte: Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme; SMILE - Smartphones in der Lehre; Freiräume für Wissenschaftliche Weiterbildung

Rechnergestützter Entwurf und Test von Schaltungen und Systemen

Stichworte: Defektbasierter Test von Nanoelektronik; ATPG: Automatische Testmustergenerierung; Zeitanalyse; EDC++: Neuronale Sonden für die elektronische Tiefenkontrolle

Verifikation, Test and Zuverlässigkeit von Eingebetteten Systemen

Stichworte: AVACS: Automatic Verification and Analysis of Complex Systems; Sicherheit: Safety and Security; NeuroBots: Gehirnkontrollierte intelligente Robotik

Zurück zur Auswahl des:der Expert:in