下载文档原格式
历届图灵奖（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)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。
一、计算机科学之父---阿兰·麦席森·图灵阿兰·麦席森·图灵 Alan Mathison Turing ，6月23日生于英国伦敦。
是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。
（二）一生重要成就：1912年6月23日，出生于英国伦敦。
1931年-1934年，在英国剑桥大学国王学院（Kings College）学习。
1932年-1935年，主要研究量子力学、概率论和逻辑学。
1935年，年仅23岁的图灵，被选为剑桥大学国王学院院士。
1936年，主要研究可计算理论，并提出“图灵机”的构想。
1936年-1938年，主要在美国普林斯顿大学做博士研究，涉及逻辑学、代数和数论等领域。
1938年-1939年，返回剑桥从事研究工作，并应邀加入英国政府破译二战德军密码的工作。
1940年-1942年，作为主要参与者和贡献者之一，在破译纳粹德国通讯密码的工作上成就杰出，并成功破译了德军U-潜艇密码，为扭转二战盟军的大西洋战场战局立下汗马功劳。
1943年-1945年，担任英美密码破译部门的总顾问。
1945年，应邀在英国国家物理实验室从事计算机理论研究工作。
1946年，这个时候，图灵在计算机和程序设计原始理论上的构思和成果，已经确定了他的理论开创者的地位。
由于图灵的杰出贡献，年轻的他被英国皇室授予OBE爵士勋衔。
1947年-1948年，主要从事计算机程序理论的研究，并同时在神经网络和人工智能领域做出开创性的理论研究。
1948年，应邀加入英国曼彻斯特大学从事研究工作，担任曼彻斯特大学计算实验室副主任。
1949年，成为世界上第一位把计算机实际用于数学研究的科学家。
1950年，发表论文“计算机器与智能”，为后来的人工智能科学提供了开创性的构思。
提出著名的“图灵测试”理论。
(1)霍华德·艾肯博士（Howard Hathaway Aiken,1900-1973,美国），美国艺术和科学院院士，1937年提出第一台自动计算机Mark-I的设计建议，并与IBM合作于1944年5月完成Mark-I，随后完成Mark-II和Mark-III。
1949年组建了哈弗计算机实验室，培养了一批计算机科学博士，其中包括图灵奖和计算机先驱奖的获得者“IBM/360之父”布鲁克斯（Frederick Phillips Brooks,Jr）和“APL 之父”艾弗逊（Kenneth Eugene Iverson）等。
IEEE在1980年授予的计算机先驱奖，还授予他Rochlitz奖和爱迪生奖。
富兰克林学会授予他John Prize奖。
同时获得海军的杰出公众服务奖（Distinguished Public Service Award）和空军的特等公民服务勋章（Decoration for Exceptional Civilian Service）。
(2)艾伦·麦席森·图灵博士（Alan Mathison Turing, 1912－1954,英国），英国数学家、逻辑学家，他被视为计算机科学之父。
二战时协助军方破解德国的著名密码系统Enigma，对盟军取得了二战的胜利有一定的帮助。
图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为《机器会思考吗？》（Can Machines Think?）的论文，其中提出了一种用于判定机器是否具有智能的试验方法，即图灵试验。
至今，每年都有试验的比赛。
此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
(3)弗雷德里克•布鲁克斯博士（Frederick Phillips Brooks, Jr.，1931—，美国），首届计算机先驱奖获奖者之一。
师从霍华德•艾肯，在哈弗取得博士学位后进入IBM公司，在20世纪60年代初只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM／360系列计算机的开发工作，取得辉煌成功，从而名噪一时。
计算机和人工智能之父——图灵第一章，图灵的介绍1.1图灵的成长1.1.1 孩提时代1912年6月23日，出生于英国伦敦，书香门第的家族里就有三位当选过英国皇家学会会员。
虽然他的祖父曾获得剑桥大学数学荣誉学位，可他父亲对数学望而生畏，甚至认为要算出一个负数与负数相乘的结果，就已经超过了人类的理解能力。
因此，阿兰的家庭教育，并不能对他以后在数学方面的成就有多少帮助。
3岁那年，他进行了在科学实验方面的首次尝试——把玩具木头人的胳膊掰下来种植到花园里，想让它们长成更多的木头人。
8岁时，图灵尝试着写了一部科学著作，题名《关于一种显微镜》，这个小孩虽然连单词都拼错了许多，但毕竟写得还像那么回事。
在书的开头和结尾，图灵都用同一句话“首先你必须知道光是直的”前后呼应，但中间的内容很短很短，可谓短得破了科学著作的纪录。
图灵很早就表现出科学的探究精神，他曾对母亲讲：“我似乎总想从最普通的东西中弄出些名堂。
”就连与小伙伴打足球，他也只喜欢在场外当巡边员，因为这样能够有机会计算球飞出边界的角度。
这孩子似乎有一种天才的直觉，能够一眼看出问题的答案。
13岁时进入寄宿的谢博恩中学（Sherbourne School），学习成绩并不特别好，只有数学例外，演算能力特别强。
此外，就是擅长赛跑，我们现在还能看到图灵在运动会上参加赛跑中冲过终点时留下的照片。
1.1.2 青年时代1931年考入了剑桥皇家学院。
大学毕业后留校任教，不到一年功夫，他就发表了几篇很有份量的数学论文，被选为皇家学院的研究员，年仅22岁。
为此，他的母校宣布放假半天以示庆贺，连当代数学泰斗罗素也来函邀请他讲学。
1937年，伦敦权威的数学杂志又收到图灵一篇论文《论可计算数及其在判定问题中的应用》。
1.1.3中年时代1950年10月,图灵又发表了另一篇题为"机器能思考吗"的论文,成为划时代之作。
也正是这篇文章,为图灵赢得了"人工智能之父"的桂冠。
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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）。
1.理查德·马修·斯托曼（Richard Matthew Stallman, RMS，1953~），自由软件运动的精神领袖、GNU计划以及自由软件基金会（Free Software Foundation）的创立者、著名黑客。
他的主要成就包括Emacs及后来的GNU Emacs，GNU C 编译器及GNU 调试器。
他所写作的GNU通用公共许可证（GNU GPL）是世上最广为采用的自由软件许可证，为copyleft观念开拓出一条崭新的道路。
2.林纳斯•本纳第克特•托瓦兹林纳斯·本纳第克特·托瓦兹(Linus Benedict Torvalds, 1969~ )，著名的电脑程序员、黑客。
Linux内核的发明人及该计划的合作者。
托瓦兹利用个人时间及器材创造出了这套当今全球最流行的操作系统（作业系统）内核之一。
现受聘于开放源代码开发实验(OSDL:Open Source Development Labs, Inc)，全力开发Linux内核。
3、冯·诺依曼（John Von Neumann ， 1903~1957）：美籍匈牙利裔科学家、数学家，被誉为“电子计算机之父”。
1945年，冯·诺依曼首先提出了“存储程序”的概念和二进制原理，后来，人们把利用这种概念和原理设计的电子计算机系统统称为“冯.诺曼型结构”计算机。
冯.诺曼结构的处理器使用同一个存储器，经由同一个总线传输。
冯·诺依曼的主要贡献就是提出并实现了“存储程序”的概念。
4、阿兰·麦席森·图灵（Alan Mathison Turing，1912~1954），英国数学家、逻辑学家，他被视为计算机之父。
1936年，图灵向伦敦权威的数学杂志投了一篇论文，题为“论数字计算在决断难题中的应用”。
在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机”(Turing Machine)的设想。
