SCS Faculty Awards|
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)
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.