CADE (Conference on Automated Deduction)
Herbrand Award for Distinguished Contributions to Automated Reasoning
--Since 1974, CADE has been the major international forum for research on all aspects of automated deduction. This prestigious award is presented each year by the CADE trustees in recognition of exceptional contributions to the field of Automated Deduction.

• Peter Andrews, 2003
  "for his seminal contributions and pioneering research in type theory, mating-based theorem proving, automated deduction in higher-order logic, and logic education, all of which have been tremendously influential."

• Mark Stickel (CS'77), 2002
  "for his ground-breaking discoveries in associative-commutative (AC) unification, reasoning modulo a theory, term indexing, and thorough development of the SNARK and PTTP theorem provers, as well as many other contributions to the field of automated reasoning."

Return to: SCS Faculty Awards
School of Computer Science