Prof. Dr. Armin Biere wird mit dem Herbrand Award ausgezeichnet

Verleihung auf der IJCAR 2024

Prof. Dr. Armin Biere wurde am 4. Juli 2024 mit dem Herbrand Award für herausragende Beiträge zur automatisierten Beweisführung ausgezeichnet. Die Auszeichnung wurde im Rahmen der International Conference on Automated Deduction International Conference (IJCAR 2024) verliehen und würdigt seine innovativen Lösungen im Bereich der Erfüllbarkeitsprüfung, der Formelverarbeitung und der Beweisgenerierung. Seine preisgekrönten Solver haben einen bedeutenden Einfluss auf die Modellprüfung und -verifizierung.

Mehr über IJCAR 2024: https://merz.gitlabpages.inria.fr/2024-ijcar/

Kontakt:

Prof. Dr. Armin Biere
Institut für Informatik – IIF
Professur für Rechnerarchitektur
E-Mail: biere@cs.uni-freiburg.de

Kerstin Steiger-Merx
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de

10.07.2024