📄 http:^^www.cs.utexas.edu^users^boyer^honors.html
字号:
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
<HTML><HEAD><TITLE>Honors and Professional Activities:</TITLE></HEAD><BODY bgcolor="ffffff"><BODY><h3>Honors and Professional Activities:</h3><a href="http://www.auschron.com/issues/annual/bestof/96/critics/boa96.C.pols.html">Best of Austin Award</a>, Austin Chronicle, category "best argumentfor tenure", 1996<br><br>Fellow of the American Association for Artificial Intelligence, 1991<Br><Br>1991 Current Prize in Automatic Theorem Proving of the American <Br>Mathematical Society (with J Strother Moore)<Br><Br>Member of the Editorial Board of the Kluwer Academic Series in<Br>Automated Reasoning, since 1990<Br><Br>Member of the Editorial Board of the Journal of Logic and Computation,<Br>Oxford, 1991-1993<Br><Br>Keynote Address, North American Conference on Logic Programming, 1990<Br><Br>Keynote Address, Tenth Conference on Automated Deduction, 1990<Br><Br>Skolem Lecture, University of Oslo, 1989<Br><Br>Member of the Editorial Board of the Journal of Automated Reasoning,<Br>since 1989<Br><Br>General Chairman, 1984 Conference on Lisp and Functional Programming.<Br><Br>Member of the Editorial Board of the Journal of Symbolic Computation,<Br>1984-1987<Br><Br>John McCarthy Prize for Program Verification, 1983, (with J Strother<Br>Moore)<Br><Br>IBM Chaire Internationale d'Informatique, Universite de Liege, Belgium,<Br>(32 lectures), 1980<Br><Br>Member of the Editorial Board of the Journal of Artificial Intelligence,<Br>1977 to 1994.<Br><Br>NASA Fellowship, Mathematics Department, University of Texas at Austin,<Br>1967-70<Br><Br>Phi Beta Kappa, 1967<Br> <Br>Junior Fellow, University of Texas, 1965-1967<Br><Br>Valedictorian, King High School, Kingsville, Texas, 1964<Br><Br>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -