图灵奖的相关的资料.docVIP

附录：图灵奖及历届图灵奖获得者 图灵奖于 1966年开始设立，是ACM（美国计算机协会）在计算机科学技术领域中所授予的最高奖项, 享有计算机界的诺贝尔奖之美称。它是以英国的数学天才Alan Turing先生的名字命名的。图灵先生对早期的计算理论与实践做出了突出的贡献。图灵奖主要授予在计算机科学技术领域做出了创造性贡献、推动了计算机科学技术发展的杰出科学家 ，而这些贡献必须对计算机科学技术有长久而深远的重要影响。虽未明确规定，授奖较偏重于计算机科学理论和软件技术方面作出贡献的科学家。 每年, 美国计算机协会将要求提名人推荐本年度的图灵奖候选人, 并附加一份200到500字的文章, 说明被提名者为什么应获此奖。任何人都可成为提名人，美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。通常每年只有1名获奖者, 少数的年份有2名（同方向）, 但02、07年有3名。截止到2008年底共发奖43次，共有55位科学家获奖。目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。 历届图灵奖获得者名单（1966-200）:1966 Alan J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)因在新一代编程技术和编译架构方面的贡献而获奖。ALGOL语言和计算机科学的“催生者”。1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge因设计、研制出世界上第一台程序实现完全在内存的存储程序式计算机EDSAC而获奖。 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因在利用数值分析方法来促进高速数字计算机（ACE计算机）的应用方面的研究而获奖。1971 John McCarthy --- PhD, Princeton; Prof, Stanford因对人工智能的贡献被授予图灵奖。LISP语言的发明人。亦有“人工智能之父”之美誉。1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin因在编程语言方面的出众表现而获奖。最先察觉到“goto有害”。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因对可用的高级编程系统设计有深远和重大的影响而获奖。FORTRAN和BNF的发明者。 1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖。前后断言法的创始人。1979 Kenneth E. Iverson因对程序设计