SCS Faculty: The Herbrand Award for Distinguished Contributions to Automated Deduction
–In 1992 CADE Inc. established the Herbrand Award for Distinguished Contributions to Automated Reasoning, to honor an individual or (a group of) individuals for exceptional contributions to the field of Automated Deduction. The award is named for Jacques Herbrand, a French logician who made important contributions to mathematical logic, including the introduction of recursive functions. The award is presented by the the Conference on Automated Deduction (CADE) in recognition of lifetime contributions to the field.

• Edmund M. Clarke, 2008
  ...

• Peter B. Andrews, 2003
  For his seminal contributions and pioneering research in type theory, mating-based theorem proving, automated deduction in higher-order logic, proof presentation, logic education, and many other contributions to the field of automated reasoning.