MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:20:09 GMT
Content-Type: text/html
Content-Length: 1750
Last-Modified: Thursday, 21-Nov-96 17:02:06 GMT
Honors and Professional Activities:
Honors and Professional Activities:
Best of Austin Award, Austin Chronicle, category "best argument
for tenure", 1996
Fellow of the American Association for Artificial Intelligence, 1991
1991 Current Prize in Automatic Theorem Proving of the American
Mathematical Society (with J Strother Moore)
Member of the Editorial Board of the Kluwer Academic Series in
Automated Reasoning, since 1990
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