Sie sind hier: Startseite Personen von A-Z Prof. Dr. Armin Biere
Artikelaktionen

Prof. Dr. Armin Biere

— 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
E-Mail: biere@cs.uni-freiburg.de
Webseite: https://cca.informatik.uni-freiburg.de/biere

 

Fachgebiete

Automated Reasoning
Entscheidungsprozeduren (SMT)
Entwurfsautomatisierung (EDA)
Erfüllbarkeitsproblem der Aussagenlogik (SAT)
Hardware
Künstliche Intelligenz
Model Checking
Technische Informatik

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