下载文档原格式
历届图灵奖（A.M. Turing Award）获得者及其获奖原因目前图灵奖由英特尔公司和Google公司赞助，奖金为250,000美元。
2010 Leslie Valiant 莱斯利·瓦伦特获奖原因：为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。
在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。
2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。
（现代PC之父——盖茨语）2008 Barbara Liskov 利斯科夫获奖原因：在计算机程序语言设计方面的开创性工作。
她的贡献是让计算机软件更加可靠、安全和更具一致性。
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
2003 Alan Kay获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。
高德纳设置了一个悬赏游戏。
如果有人挑出了他编写的TEX程序的错误，他就给挑错者奖励。
第一个错误值2.56美元，第二个值5.12美元，第三个值10.24美元。
据说，这张10.24美元的支票是他迄今为止为此签出的最后一张。
高德纳是美国计算机科学家唐纳德·克努斯(DonaldKnuth)的中文名。
这位“现代计算机科学的鼻祖”是计算机界的传奇人物。
他在年仅36岁时就获得了图灵奖，成为该奖历史上最年轻的获奖者。
他的获奖作品《计算机程序设计艺术》原计划出七卷，至今才出到第四卷。
尽管如此，它依然与爱因斯坦的《相对论》、狄拉克的《量子力学》、费曼的《量子电动力学》等并列，被《科学美国人》杂志评选为20世纪最重要的12本物理学著作之一。
1 早期经历“是男人就得-67”1938年高德纳出生于美国密尔沃基。
他的超凡智力在8岁时就显示出来了。
当时，一家糖果商在孩子们当中举办了一项有趣的比赛，要求用“Ziegler’s GiantBar”里面的字母，写出尽可能多的单词。
裁判事先准备了一份2500个单词的列表，可小高德纳令人惊讶地写出了4500多个单词。
他为学校赢得一台电视机，还为每个同学赢得一根棒棒糖。
他的赛后感言是，我还能写出更多。
高德纳就读的大学是凯斯理工学院。
1956年，他在这里第一次使用了IBM650，并开始学习编程。
不久之后，高德纳就对编程有了许多体会。
当时高德纳还兼职管理学校的篮球队，于是他编写了一个程序，能够自动评估每名球员的价值，令球队的教练非常欣赏，还引来了CBS电视台。
后来高德纳、球队教练和IBM650的合影还被印到了IBM650的宣传册上。
1960年，高德纳以公认出色的成就，打破了学校的惯例，同时获得了学士和硕士两个学位。
随后，高德纳进入伯克利攻读数学博士学位。
在此期间，他的编程生涯也正式开始了。
他当时所写的程序中最值得一提的，是对ALGOL60编译器提出的测试方法。
ALGOL60经常会因为编译器不成熟而出故障。
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主1966年图灵奖获得者美国科学家艾伦佩利Alan J.Perlis：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Synthesis of Algorithmic System）。
1967年图灵奖获得者英国科学家莫里斯威尔克斯Maurice V.Wilkes：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（Computer Then and Now）。
1968年图灵奖获得者美国科学家理查德汉明Richard W.Hamming：发明了纠错码——汉明码（Hamming Code）。
获奖演说“对计算机科学的看法”（On Man’s View of Computer Science）。
图灵奖得主1969年图灵奖获得者美国科学家马文明斯基Marvin L.Minsky：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
获奖演说“计算机科学的形式和内容” 。
1970年图灵奖获得者英国科学家詹姆斯威尔金森James H.Wilkinson：数值分析专家和研制ACE计算机（第一台商业计算机）的功臣。
获奖演说“一个数值分析家的若干意见” 。
1971年图灵奖获得者美国科学家约翰麦卡锡John MacCarthy：“人工智能之父”，LISP语言的发明者。
获奖演说“人工智能研究的现状” 。
图灵奖得主1972年图灵奖获得者荷兰科学家埃德斯加狄克斯特拉Edsgar W.Dijkstra：最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠基者之一。
获奖演说“智力低下的程序员” 。
1973年图灵奖获得者美国科学家查尔斯巴赫曼Charles W.Bachman：网状数据库之父、推动与促成数据库标准的制订。
获奖演说“作为导航员的程序员” 。
1974年图灵奖获得者美国科学家唐纳德克努特Donad E.Knuth：经典巨著《计算机程序设计的艺术》The Art of Computer Programming的作者，排版软件的先驱（TEX）。
计算机科学之父、人工智能之父图灵【简介】阿兰·麦席森·图灵(Alan Mathison Turing，1912.6.23-1954.6.7)，英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父。
1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利。
阿兰·麦席森·图灵，1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准"图灵测试"，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
上中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
图灵奖简介图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者图灵奖对获奖者的要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。
因此，尽管“图灵”的奖金数额不算高，但它却是计算机诺贝尔奖”之称。
美国计算机协会1966年图灵奖获得者美国科学家艾伦·佩利(Alan J.Perlis)：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Sy nthesis of AlgorithmicSy stem）。
1967年图灵奖获得者英国科学家莫里斯·威尔克斯(Maurice V.Wilkes)：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（ComputerThen and Now）。
1968年图灵奖获得者美国科学家理查德·汉明(RichardW.Hamming)：发明了纠错码——汉明码（HammingCode）。
获奖演说“对计算机科学的看法”（On Man‟s View of ComputerScience）。
1969年图灵奖获得者美国科学家马文·明斯基(Marv in L.Minsky)：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
历届图灵奖获得者图灵奖获得者分类及各项指标统计(1966--2006)总共获奖人数(1966--2006)：41届，51人。
获奖科学家国籍分布：美国: 36英国: 5以色列: 3加拿大: 2挪威: 2荷兰: 1瑞士: 1丹麦: 1图灵奖获得者最高学位分布：博士学位：39硕士学位：4学士学位：5无法了解: 3图灵奖获得者获奖时年龄分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(PeterNaur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray, Frances Allen图灵奖获得者去世人数(截止5/19/2006)统计：12获奖科学家研究方向分布：硬件，体系结构(2)Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSACJohn Cocke (1987) -- RISC & 编译优化程序设计语言(10)Alan J. Perlis (1966) -- ALGOLEdsger Wybe Dijkstra (1972) -- ALGOLJohn W. Backus (1977) -- FORTRANKenneth Eugene Iverson (1979) -- APL程序语言Niklaus Wirth (1984) -- PASCALJohn Cocke (1987) -- RISC & 编译优化Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula语言和面向对象概念Alan Kay(2003) -- SmallTalk语言和面向对象程序设计Peter Naur(2005) -- ALGOL60以及编译设计Frances Allen(2006) -- 编译优化形式语言, 程序语言语义(4)Robert W. Floyd (1978) -- 编程语言语义，自动程序验证C. Antony R. Hoare (1980) -- Hoare Logic, CSPRobin Milner (1991) -- LCF，ML，CCS，PI-calculusAmir Pnueli (1996) -- 时序逻辑和系统验证算法设计(10)Richard Hamming (1968) -- 汉明码James Hardy Wilkinson (1970) -- 数值分析Donald E. Knuth -- Art of Computer ProgrammingJohn E. Hopcroft，Robert Endre. Tarjan (1986) -- 数据结构和算法设计William (Velvel) Morton Kahan (1989) -- 浮点运算姚期智(Andrew Chi-Chih Yao) (2000) -- 伪随机数复杂性，密码系统和通讯复杂性Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公钥密码技术--RSA计算理论，自动机，计算复杂性(7)Dana Stewart Scott (1976) -- 自动机Michael Oser Rabin (1976) -- 自动机Stephen Arthur Cook (1982) -- NP完全性Richard Manning Karp (1985) -- 证明一个问题是否是属于NP完全Juris Hartmanis，Richard Edwin Stearns (1993) -- 计算复杂性Manuel Blum (1995) -- 计算复杂性，密码系统和程序检查验证人工智能(6)Marvin Lee Minsky (1969) -- 神经元网络John McCarthy (1971) -- LISPAllen Newell，Herbert Simon (1975) -- Logic Theory MachineRaj Reddy，Edward Feigenbaum(1994) -- 专家系统操作系统(4)Dennis MacAlistair Ritchie，Ken Thompson (1983) -- UNIX Fernando Jose Corbato (1990) -- 分时系统Frederick P. Brooks(1999) -- IBM System360 操作系统数据库(3)Charles W. Bachman (1973) -- 数据库Edgar Frank Codd (1981) -- 关系数据模型James Gray(1998) -- 数据库和事务处理图形技术和交互式系统(2)Ivan Edward Sutherland (1988) -- 图形技术，CADDouglas Engelbart(1998) -- 交互式系统，鼠标发明人网络通讯(2)Vinton Gray Cerf (2004) -- Internet TCP/IP协议Robert Kahn(2004) -- Internet分享人名：年份：目的：国籍：本科学校：研究生学校：研究方向：获奖年龄：贡献形式：地位：Herbert Simon1975表彰其在开始于与在RAND(兰德)公司的J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity(CMU)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。
