Herbrand Award for Distinguished Contributions to Automated Reasoning

CADE's Herbrand Award for Distinguished Contributions to Automated Reasoning was presented to Dr. Stickel "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."

Mark Stickel, Ph.D., principal scientist in SRI's Artificial Intelligence Center, received the 2002 Herbrand Award, the most prestigious recognition in the field of automated reasoning and deduction. The award was presented at the 18th International Conference on Automated Deduction (CADE) held in Copenhagen in July 2002 during the Federated Logic Conference.