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