图灵奖和美国计算机协会
---- 图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。它是以美国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人。而这些贡献必须对计算机业有长远而重要的影响。迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。1966年,A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
---- 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到5000字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的审核,并最终确定当年的获奖者。
---- 历届图灵奖获得者名单:
---- 1966 A. J. Perlis因在新一代编程技术和编译架构方面的贡献而获奖
---- 1967 Maurice V. Wilkes因设计出第一台具有内置存储程序的计算机而获奖
---- 1968 Richard W. Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖
---- 1970 J.H. Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究 而获奖
---- 1971 John McCarthy因对人工智能的贡献被授予图灵奖
---- 1972 Edsger W. Dijkstra因在编程语言方面的出众表现而获奖
---- 1973 Charles W. Bachman因在数据库方面的杰出贡献而获奖
---- 1974 Donald E. Knuth因设计和完成TEX(一种创新的具有很高排版质量的文挡制作工 具)而被授予该奖
---- 1975 Allen Newell和Herbert A. Simon因在人工智能、人类心理识别和列表处理等方 面进行的基础研究而获奖
---- 1976 Michael O. Robin和Dana S. Scott因他们的论文"有限自动机与它们的决策问题?中所提出的非决定性机器这一很有价值的概念而获奖
---- 1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获奖
---- 1978 Robert W. Floyd因其在软件编程的算法方面的深远影响,并开创了包括剖析理侣 、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖
---- 1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖
---- 1980 C. Anthony R. Hoare因对程序设计语言的定义和设计所做的贡献而获奖
---- 1981 Edgar F. Codd因在数椐库管理系统的理论和实践方面的贡献而获奖
---- 1982 Steven A. Cook因奠定了NP-Completeness理论的基础而获奖
---- 1983 Ken Thompson和Dennis M. Ritchie因在通用操作系统理论方面的突出贡献,特别是对UNIX操作系统的推广的贡献而获奖
---- 1984 Niklaus Wirth因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算佑镅 而获奖
---- 1985 Richard M. Karp因对算法理论的贡献而获奖
---- 1986 John E. Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖
---- 1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖
---- 1988 Ivan E. Sutherland因在计算机图形学方面的贡献而获奖
---- 1989 William V. Kahan因在数值分析方面的贡献而获奖
---- 1990 Fernando J. Corbato因在开发大型多功能、可实现时间和资源共享的计算系统和Multics方面的贡献而获奖
---- 1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面 的贡献而获奖
---- 1992 Butler Lampson 因在个人分布式计算机系统方面的贡献而获奖
---- 1993 Jurlis Hartmanis和Richard E. Stearns因奠定了计算复杂性理论的基础而获奖
---- 1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖
---- 1995 Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖
---- 1996 Amir Pnueli因在计算中引入临时逻辑和对程序及系统检验的贡献被获奖
---- 1997 Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖
---- 1998 James Gray因在数据库和事务处理方面的突出贡献而获奖