Prof. Dr. Armin Biere receives the Herbrand Award

Award ceremony at the IJCAR 2024

Prof. Dr. Armin Biere has been awarded the Herbrand Award for outstanding contributions to automated deduction on July 4, 2024. The award was presented at the International Conference on Automated Deduction International Conference (IJCAR 2024) in recognition of his outstanding contributions to satisfiability solving, including innovative applications, methods for formula pre- and in-processing and proof generation, and a series of award-winning solvers, with deep impact on model checking and verification.

More about IJCAR 2024:


Prof. Dr. Armin Biere
Department of Computer Science – IIF
Chair of Computer Architecture

Kerstin Steiger-Merx
Representative PR/Marketing
Faculty of Engineering
University of Freiburg
Tel.: 0761/203-8056