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