Honors and Professional Activities
The 2005 Software System Award was given for the Boyer-Moore Theorem Prover
to Robert S. Boyer, Matt Kaufmann, and J Strother Moore by the Association
for Computing Machinery.
6th Herbrand Award for exceptional contributions to the field of Automated Deduction,
awarded by CADE Inc. (Conferences on Automated Deduction) at CADE-16, Trent,
July, 1999. With J Strother Moore.
Best of Austin Award, Austin Chronicle, category "best argument
for tenure", 1996, http://www.auschron.com/issues/annual/bestof/96/critics/boa96.C.pols.html
Fellow of the American Association for Artificial Intelligence, 1991-2008
1991 Current Prize in Automatic Theorem Proving of the American
Mathematical Society (with J Strother Moore)
Member of the Editorial Board of the Journal of
Automated Reasoning, 1990-2007
Member of the Editorial Board of the Journal of Logic and Computation,
Oxford, 1991-1993
Keynote Address, North American Conference on Logic Programming, 1990
Keynote Address, Tenth Conference on Automated Deduction, 1990
Skolem Lecture, University of Oslo, 1989
Member of the Editorial Board of the Journal of Automated Reasoning,
since 1989
General Chairman, 1984 Conference on Lisp and Functional Programming.
Member of the Editorial Board of the Journal of Symbolic Computation,
1984-1987
John McCarthy Prize for Program Verification, 1983, (with J Strother
Moore)
IBM Chaire Internationale d'Informatique, Universite de Liege, Belgium,
(32 lectures), 1980
Member of the Editorial Board of the Journal of Artificial Intelligence,
1977 to 1994.
NASA Fellowship, Mathematics Department, University of Texas at Austin,
1967-70
Phi Beta Kappa, 1967
Junior Fellow, University of Texas, 1965-1967
Valedictorian, King High School, Kingsville, Texas, 1964