Sie sind hier: Startseite Personen von A-Z Prof. Dr. Bernd Becker
Artikelaktionen

Prof. Dr. Bernd Becker

— abgelegt unter:

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

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

Benutzerspezifische Werkzeuge