历届图灵奖获得者（1966-2003）
发信人: bears (big), 信区: Military标题: 历届图灵奖获得者（1966-2003）
发信站: Unknown Space - 未名空间 (Wed Jun 30 20:47:09 2004) WWW-POST
历届图灵奖获得者（1966-2003）
消息源：教育与学术
图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻
为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan
Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领
域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.
每年, 美国计算机协会将要求提名人推荐本年度的图灵奖候选人,
并附加一份200到500字的文章, 说明被提名者为什么应获此奖. 任何人都可成为提名人.
美国计算机协会将组成评选委员会对被提名者进行严格的审核, 并最终确定当年的获奖者
.
历届图灵奖获得者名单:
1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
因在新一代编程技术和编译架构方面的贡献而获奖.
1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因设计出第一台程序实现完全内存的计算机而获奖.
1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at
Bell) (deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.
1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因对人工智能的贡献被授予图灵奖.
1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory,
London
因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.
1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因对人工智能的贡献被授予图灵奖.
1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在编程语言方面的出众表现而获奖.
1973 Charles W. Bachman --- staff, Honeywell
1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.
1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.
1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
和Dana S. Scott --- PhD, Princeton; Prof, CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概
念而获奖.
1977 John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.
1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序
检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.
1979 Kenneth E. Iverson
1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.
1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.
1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
和Dana S. Scott --- PhD, Princeton; Prof, CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概
念而获奖.
1977 John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.
1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序
检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.
1979 Kenneth E. Iverson
因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.
1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因对程序设计语言的定义和设计所做的贡献而获奖.
1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在数椐库管理系统的理论和实践方面的贡献而获奖.
1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理论的基础而获奖.
1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs
和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.
1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖.
1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因对算法理论的贡献而获奖.
1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.
1987 John Cocke --- staff, IBM
因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.
1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在计算机图形学方面的贡献而获奖.
1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.
1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献
而获奖.
1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.
1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.
页:
[1]