图灵奖相关资料.docx

图灵奖相关资料.docx附录：图灵奖及历届图灵奖获得者
图灵奖于1966年开始设立，是ACM (美国计算机协会)在计算机科学技术领 域中所授予的最高奖项，享有计算机界的诺贝尔奖之美称。它是以英国的数学天 才Alan Turing先生的名字命名的。图灵先生对早期的计算理论与实践做出了突 出的贡献。图灵奖主要授予在计算机科学技术领域做出了创造性贡献、推动了 计算机科学技术发展的杰出科学家，而这些贡献必须对计算机科学技术有长久 而深远的重要影响。虽未明确规定，授奖较偏重于计算机科学理论和软件技术 方面作出贡献的科学家。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份 200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人， 美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当 年的获奖者。通常每年只有1名获奖者，少数的年份有2名(同方向)，但02、 07年有3名。截止到2008年底共发奖43次，共有55位科学家获奖。目前图 灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
历届图灵奖获得者名单(1966-2009):
Alan J. Perlis — PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖。ALGOL语言和计算机科学 的“催生者”。
Maurice V. Wilkes — PhD, Cambridge; Prof, Cambridge
因设计、研制出世界上第一台程序实现完全在内存的存储程序式计算机EDSAC 而获奖。
Richard W. Hamming — PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖。
Marvin Minsky --- PhD, Princeton, Prof, MIT 因对人工智能的贡献被授予图灵奖。创立了框架理论。有“人工智能之父”之美 誉。
. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London
因在利用数值分析方法来促进高速数字计算机(ACE计算机)的应用方面的研 究而获奖。
John McCarthy — PhD, Princeton; Prof, Stanford
因对人工智能的贡献被授予图灵奖。LISP语言的发明人。亦有“人工智能之父” 之美誉。
Edsger W. Dijkstra — PhD, U Amsterdam; Prof, UT Austin
因在编程语言方面的出众表现而获奖。最先察觉到“goto有害”。
Charles W. Bachman — staff, Honeywell
因在数据库方面的杰出贡献而获奖。有“网状数据库之父”之美誉。
Donald E. Knuth — PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该 奖。计算机经典巨著『计算机程序设计的艺术』的年轻作者。
Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
和 Herbert A. Simon — PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖。人工智能符号主义 学派的创始人。
Michael O. Rabin — PhD, Princeton; Prof, Harvard
和 Dana S. Scott — PhD, Princeton; Prof, CMU
因他们的论文,,有限自动机与它们的决策问题■,中所提出的非确定性自动机这一 很有价值的概念而获奖。
John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖。FORTRAN和BNF 的发明者。
Robert W. Floyd — BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、 自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该 奖。前后断言法的创始人。
Kenneth E. Iverson
因对程序设计语言理论、互动式系统及发明APL的贡献被授予该奖。
C. Anthony R. Hoare Prof,