图灵奖_历年图灵奖
图灵奖由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“历年图灵奖”。
图灵奖（A.M.Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M.图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
第一个：
艾伦·佩利(Alan J．Perlis)，（1922-1990）毕业于麻省理工学院，博士。ALCOL语言和计算机科学的“催生者”，由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
佩利1973年当选为美国艺术和科学院院士，1976年当选为美国工程院院士。除了获得图灵奖外，他还在1984年获得AFIPS的教育奖，曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。
1966年成为首届图灵奖的获得者，其图灵奖演讲稿为：“The Synthesis of Algorithmic Systems”(算法系统的合成)。
第二个： 莫里斯·文森特·威尔克斯爵士，FREng，FRS（Sir Maurice Vincent Wilkes，1913年6月23日－），英国计算机科学家。设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。
1956年，他当选为皇家学会院士；英国计算机学会的创始人之一，并担任第一任主席（1957年-1960年）；1977年和1980年先后当选为美国工程院和美国科学院外籍院士；是国际信息处理联盟（IFIP）的主要发起人之一。
1967年获ACM图灵奖，图灵奖演讲题目是：Computers Then and Now(计算机的过去和现在)。
第三个：
理查德·卫斯里·汉明（英语：Richard Wesley Hamming，1915年2月11日－1998年1月7日），美国数学家，主要贡献在计算机科学和电讯。1937年芝加哥大学学士学位毕业，1939年内布拉斯加大学硕士学位毕业，1942年伊利诺伊大学香槟分校博士学位毕业。1946至76年在贝尔实验室工作。他曾和约翰·怀尔德·杜奇、克劳德·艾尔伍德·香农合作。1956年他参与了IBM 650的编程语言发展工作。
1968年获得ACM图灵奖。
第四个：
马文·闵斯基（Marvin Lee Minsky）出生于1927年，是一位美国人工智能领域的科学家，麻省理工学院人工智能实验室的创始人之一，著有几部人工智能和哲学方面的作品。1950年于哈佛大学获得数学学士学位，1954年于普林斯顿大学获得数学博士学位。自1958年起在麻省理工学院任教，现为东芝媒体艺术与科学教授、麻省理工学院电子工程与计算机科学教授。
1969年获得ACM图灵奖。
第五个：
詹姆斯·哈迪·威尔金森，（James Hardy Wilkinson 1919年9月27日－1986年10月5日）是英国数学家和计算机学家，在数值分析领域具有杰出贡献。数值分析是应用数学与计算机科学的交叉学科，特别在工程和物理学上具有显著的应用。
1940年，他开始研究弹道学，并与1946年进入英国最著名的学术机构之一英国国家物理实验室（NPL）的数学部，期间研制了电子计算机Pilot ACE。在NPL，威尔金森一开始协助图灵设计计算机Pilot ACE。图灵离开NPL后，他接手整个项目，使得Pilot ACE于1950年5月10日，第一次正式试运行成功。
1970年获得ACM图灵奖，图灵奖演讲题目是：Some Comments from a Numerical Analyst（一个数值分析家的若干意见）。
第六个：
约翰·麦卡锡（John McCarthy，1927年9月4日－2011年10月24日[1][2]），生于美国马萨诸塞州波士顿，计算机科学家。他于1948年获得加州理工学院数学学士学位，1951年获得普林斯顿大学数学博士学位。分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后，麦卡锡于1962年-2000年底在斯坦福担任教授，退休后成为名誉教授。麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》（Communications of the ACM）上。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。
第七个：
艾兹格·W·迪科斯彻（Edsger Wybe Dijkstra，1930年5月11日~2002年8月6日）荷兰人。计算机科学家，毕业就职于荷兰Leiden大学，早年钻研物理及数学，而后转为计算学。他是计算机先驱之一，他开发了程序设计的框架结构。曾经提出“goto有害论”信号量和PV原语，解决了有趣的“哲学家聚餐”问题，提出了目前离散数学应用广泛的最短路径算法（Dijkstra's Shortest Path First Algorithm）。
曾在1972年获得过素有计算机科学界的诺贝尔奖之称的图灵奖，之后，他还获得过1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖、以及2002年ACM PODC最具影响力论文奖。
第八个：
查尔斯·威廉·巴赫曼（Charles William Bachman，1924年11月11日－），是美国计算机科学家，因其在数据库领域的工作而闻名。在密歇根州立大学获得机械工程的学士学位之后，1950年，又在宾夕法尼亚大学取得硕士学位。巴赫曼的整个职业生涯基本上是在工业界里，而没有在学术界里作过研究或教职工作。
1973年，他因“数据库技术方面的杰出贡献”而被授予图灵奖，并做了题为“作为导航员的程序员（The Programmer as Navigator）”的演讲。1977年因其数据库系统方面的开创性工作而被选为英国计算机学会的杰出研究员（Distinguished Fellow）。他也被列入数据库名人堂。
第九个：
高德纳（Donald Ervin Knuth，1938年1月10日－），出生于密尔沃基，美国著名计算机科学家，斯坦福大学计算机系荣誉退休教授。高德纳教授被誉为现代计算机科学的鼻祖，在计算机科学及数学领域发表了多部具广泛影响的论文和著作。
高德纳最为人知的事迹是，他是《计算机程序设计艺术》（The Art of Computer Programming）的作者。此书是计算机科学界最受高度敬重的参考书籍之一。他创造了算法分析的领域，在数个理论计算机科学的分支做出基石一般的贡献，此外还是排版软件TeX和字体设计系统Metafont的发明人。
1974年获得ACM图灵奖。
第十个（有两人）：
赫伯特·西蒙（Herbert Alexander Simon1916-2001），经济组织决策管理大师，第十届诺贝尔经济学奖获奖者。1978年瑞典皇家科学院贺辞说，其科学成就远超过他所教的任何一门学科——政治学、管理学、心理学和信息科学。他的研究成果涉及科学理论、应用数学、统计学、运筹学、经济学和企业管理等方面，在所有的这些领域中西蒙都发挥了重要的作用。他是现代一些重要学术领域的创建人之一，如人工智能、信息处理、决策制定、解决问题、注意力经济、组织行为学、复杂系统等。他创造了术语有限理性（Bounded rationality）和满意度（satisficing），也是第一个分析复杂性架构（architecture of complexity）的人。
西蒙自幼熟读经济学家理查德·伊利的经济学书籍，于1933年进入芝加哥大学，师从挪威经济学家特里夫·哈维默与荷兰经济学家特亚林·科普曼斯，1943年获得芝加哥大学政治科学博士，1949年被聘为卡内基梅隆大学的教授。1975年获得ACM图灵奖。
艾伦·纽厄尔（Allen Newell，1927年3月19日－1992年7月19日）是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。他是信息处理语言（IPL）发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家（Logic Theorist 1956年）和通用问题求解器General Problem Solver。1975年他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。
第十一个（有两人）：
迈克尔·O·拉宾（Michael Oser Rabin，1931年9月1日－）是一名以色列计算机科学家，1953年，他获得希伯来大学的理学硕士，1956年获普林斯顿大学博士学位。1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“计算机复杂性”（Complexity of Computations）的演讲。
达纳·斯图尔特·斯科特（Dana Stewart Scott 1932年10月11日－）美国科学家，研究领域涉及计算机科学、数学和哲学，斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。1976年图灵奖得主。
第十二个：
约翰·华纳·巴克斯（英语：John Warner Backus，1924年12月3日－2007年3月17日），美国计算机科学家，是早期高阶语言（High-level Language）FORTRAN的发明小组组长。他提出了BNF（用来定义形式语言语法的记号法），发明Function-level programming这个概念及实践该概念的FP语言。被誉为“Fortran 语言之父”。
1977年10月17日日在西雅图举行的含石棉材料年会上获得计算机界最高奖图灵奖，会中他发表了“程序设计能从冯伊曼形式中解脱出来吗？函数式风格及其程序的代数”（Can Programming be Literated from the von Neumann Style? A Functional Style and Its Algebra of Programs）演说。
第十三个： 罗伯特·W·弗洛伊德（Robert W Floyd，1936年6月8日－2001年9月25日），计算机科学家，图灵奖得主，前后断言法的创始人，堆排序算法和Floyd-Warshall算法的创始人之一。
弗洛伊德出生在美国纽约，14岁即完成高中学业，当他1953年从芝加哥大学获得文学学士学位时，年仅17岁，并于1958年在物理学获得了第二个学士学位。
弗洛伊德于1978年获得图灵奖，并做“程序设计的风范（”The Paradigms of Programming）的演讲，图灵奖引文是： 在构造高效、可靠性软件方法学领域的显著影响；在下列计算机科学重要分支的奠基性的贡献：分析理论，编程语言语义，自动程序验证，自动程序综合生成和算法分析。
第十四个：
肯尼斯·艾佛森（Kenneth E.Iverson，1920年12月17日-2004年10月19日）是一位计算机科学家，最重要的贡献是开发了APL。
在哈佛大学当助理教授时，他发展了一套数学表达式来操作阵列，以便教授学生。1960年，他开始在IBM跟Adin Falkoff工作，按他开发的数学表达式建立了APL。1979年他因对数学表达式和编程语言理论的贡献而得到图灵奖。
第十五个：
查尔斯·安东尼·理查德·霍尔爵士（Sir Charles Antony Richard Hoare，缩写为 C.A.R.Hoare，1934年1月11日－），经常被昵称为东尼·霍尔（一译托尼·霍尔，英语：Tony Hoare），生于斯里兰卡可伦坡，英国计算机科学家。他设计出了快速排序算法、霍尔逻辑、交谈循序程式。
1956年，在牛津大学墨顿学院取得西洋古典学学士学位。1960年，在莫斯科国立大学取得博士学位后，任职于伦敦艾略特兄弟公司（Elliott Brothers Ltd），开发出第一个商用的ALGOL 60编译器，很快就成为公司的首席工程师。
1980年获得ACM图灵奖。
第十六个：
埃德加·弗兰克·科德（英文: Edgar Frank “Ted” Codd）（1923年8月23日－2003年4月18日）是一位英国计算机科学家。他为关系型数据库理论做出了奠基性的贡献。他在IBM工作期间，首创了关系模型理论。他一生中为计算机科学做出了很多有价值的贡献，而关系模型，作为一个在数据库管理方面非常具有影响力的基础理论，仍然被认为是他最引人瞩目的成就。
1981年, 科德因在关系型数据库方面的贡献获得了图灵奖。
第十七个：
史提芬·A·古克（Stephen A.Cook，1939年－），计算机科学家，计算复杂性理论的重要研究者。1961年从University of Michigan获得其学士学位，于1962年和1966年从哈佛大学分别获得其硕士与博士学位。1966年到1970年，Stephen在加州Berkeley分校担任助理教授职务。1970年，Stephen加盟多伦多大学并工作直到现在。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了古克定理——布尔可满足性问题是NP完备的证明。
1982年，古克得到图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
第十八个（含两个人）：
肯尼斯·蓝·汤普逊（Kenneth Lane Thompson，1943年2月4日－），为美国计算机科学学者，与丹尼斯·里奇同为1983年图灵奖得主。
他与丹尼斯·里奇设计了B语言、C语言，创建了Unix和Plan 9操作系统，他也是编程语言Go的共同作者。
丹尼斯·里奇，C语言之父，UNIX之父。曾担任朗讯科技公司贝尔实验室下属的计算机科学研究中心系统软件研究部的主任一职。1978年与布莱恩·科尔尼干（Brian W.Kernighan）一起出版了名著《C程序设计语言（The C Programming Language）》，现在此书已翻译成多种语言，成为C语言方面最权威的教材之一。
第十九个： 尼古拉斯·沃斯（Niklaus Wirth，1934年2月15日—），生於于瑞士温特图尔，是瑞士计算机科学家。从1963年到1967年，他成为斯坦福大学的计算机科学部助理教授，之后又在苏黎世大学担当相同的职位。1968年，他成为苏黎世联邦理工学院的信息学教授，又往施乐帕洛阿尔托研究中心进修了两年。他是Algol W、Modula、Pascal、Modula-
2、Oberon等编程语言的主设计师。他的文章Program Development by Stepwise Refinement视为软件工程中的经典之作。他写的一本书的书名Algorithms + Data Structures = Programs（算法+数据结构=程序）是计算机科学的名句。1984年他因发展了这些语言而获图灵奖。
第二十个：
理查德·卡普（Richard Karp）1935年1月3日生于波士顿，在哈佛大学时他文理兼修，1955年先获得文学学士学位，第二年又获得理科硕士学位。之后他进入哈佛大学的计算实验室攻读博士，于1959年取得应用数学博士学位。理查德·卡普教授现任美国加州大学伯克利分校计算机科学讲座教授，美国科学院、美国工程院、美国艺术与科学院、欧洲科学院院士。
1972年，卡普发表了他的那篇著名的论文：“组合问题中的可归约性”(Reducibility among Combinatorial Problems)。因其在计算机科学领域的基础贡献，1985年获ACM图灵奖。
第二十一个（含两人）：
约翰·霍普克罗夫特(John Hopcroft)康奈尔大学计算机科学系教授。1939年10月7日生于西雅图。1961年在西雅图大学获得电气工程学士学位以后，进入斯坦福大学研究生院深造，师从研究自适应信号处理和神经元网络的鼻祖--著名学者威德罗（Bernard Widrow）。John在1962年获得硕士学位，1964年获得博士学位。
1986年，John由于在算法及数据结构设计和分析方面的基础性成就，被授予图灵奖。
罗伯特·塔扬，1948年4月30日生于加里福尼亚州的波莫纳。他发现了解决最近公共祖先（LCA）问题、强连通分量问题、双连通分量问题的高效算法，参与了开发斐波那契堆、伸展树的工作。
1986年获得ACM图灵奖，图灵奖演讲题目是：“算法设计”(AlgorithmDesign)。
第二十二个：
约翰·科克（John Cocke）是从机械到数学、又从数学转到计算机方向上来的学者。他生于1925年，1946年在杜克大学(Duke University)获得机械工程学士学位，干了几年实际工作以后，又回到母校读研究生，于1956年取得数学博士学位。之后，他进入IBM，从此开始了他的计算机生涯并为IBM计算机市场的开拓和计算机科学技术的发展做出了巨大的贡献。
1987年获得ACM图灵奖，发表题为“对科学处理器性能的探索”(“The search for Performancein Scientific Proceors”)的演说。
第二十三个：
作为计算机图形学之父和虚拟现实之父，60年在麻省理工学院攻读博士学位的博士论文课题是三维交互式图形系统（当时二维图形系统已经问世），苏泽兰依靠扎实的专业基础和勤奋的工作，伊凡·苏泽兰用了3年时间完成了这个艰巨而复杂的任务，成功开发了著名的“画板”系统，它是有史以来第一个交互式绘图系统，也是交互式电脑绘图的开端。于1988年被授予图灵奖。
第二十四个：
威廉·凯亨，也译为威廉·卡亨（William Morton Kahan）1933年6月5日出生，凯亨生于多伦多。完成中学学业以后，凯亨进入著名的多伦多大学。在那里，他实现了“三级跳”——继1954年取得数学学士学位以后，1956年和1958年又先后获得硕士学位和博士学位。
在卡亨的主持下，二进制浮点运算标准IEEE 754以及与基数无关的(radix-independent)浮点运算标准IEEE 854相继出台。这两个标准至今仍为绝大多数的计算机厂商所遵守。除了以上主要贡献外，卡亨在科学、工程、财会计算的数值算法的设计、误差分析、验证与自动诊断等方面也有卓越的贡献，是该领域中世界公认的权威之一，曾发表过许多有影响的论文。尤其是在矩阵计算方面，卡亨有极高的学术造诣。
1989年被授予ACM图灵奖。
第二十五位：
费尔南多·考巴脱——实现分时系统的功臣。费尔南多·考巴脱是著名的计算机系统专家、麻省理工学院计算机科学与工程系教授。考巴脱是西班牙移民的后裔，1926年6月生于奥克兰。考巴脱念高中时，二次世界大战爆发。他在2年内完成了3年的学业，提前毕业进入加州大学伯克利分校，但只念了一年书，就被应征入伍，参加海军。在经过培训和当了一年见习电子技师后，考巴脱在一艘驱逐舰供应船上任正式的电子技师，负责维护雷达、声纳等各种无线电电子设备。战时的这段经历对于考巴脱是一个极可贵的学习与锻炼，使他对电子线路和仪器设备十分熟悉，也培养了他坚韧的性格，为他日后的成功奠定了基础。曾获得1990年度图灵奖。
第二十六位：
罗宾·米尔纳——标准元语言ML的开发者。
米尔纳主持开发了ML（Metalan-guage）并使之标准化，是另一重大贡献。ML是一种用来描述、表达与验证其它语言的语言，比LCF具有更强的推理能力。这种结构优美而又短小精悍的语言，被誉为是定义得最完善、最无懈可击的语言之一，也是Haskell和F#等语言的先祖。无论工作生活，米尔纳都谦虚严谨，完全没有大师架子。ML从最早时仅是专用语言到现在被用作通用语言的发展过程，和他从善如流、吸纳合作者意见有着不小的关系。其中标准ML允许设计“大模块”程序的功能，就是根据贝尔实验室的麦克奎因（D．MacQueen）所提出的构思实现的。1991年图灵奖获得者
第二十七位：
巴特勒·兰普森——从Alto系统的首席科学家到微软的首席技术官。
兰普森1943年12月23日生于华盛顿。他曾在哈佛大学就读，学的是文科。1964年获得文学学士学位之后他进入加州大学伯克利分校研究生院，改修理工科，于1967年获得博士学位。留校任教4年以后，兰普森进入产业界，先后在施乐(Xerox)公司的Palo Alto研究中心(即著名的PARC)和DEC公司工作，1995年加盟微软，任软件总工程师至今。1992年图灵奖获得者
第二十八位：
尤里斯·哈特马尼斯和理查德·斯特恩斯——计算复杂性理论的主要奠基人 1993年的图灵奖授予合作奠定了计算复杂性理论基础的两位学者尤里斯·哈特马尼斯(Juris Hartmanis)和理查德·斯特恩斯(Richard Edwin Stearns)。在此以前，已有拉宾(M．O．Rabin)、库克(S．A．Cook)、卡普(R．M．Karp)等学者因在计算复杂性理论研究中作出先驱性工作而分别在1976年、1982年和1985年获得图灵奖。哈特马尼斯和斯特恩斯则在前人工作的基础上，比较完整地提出了计算复杂性的理论体系，并首次正式命名了“计算复杂性”(computational complexity)，因而被公认为计算复杂性理论的主要创始人。
第二十九位：
爱德华·费根鲍姆和劳伊·雷迪——大型人工智能系统的开拓者。1994年度的图灵奖由两位人工智能专家分享，其一是声名卓著的爱德华·费根鲍姆（Edward Albert Feigenbaum）；另一位是后起之秀的雷伊·雷蒂（Raj Reddy）。费根鲍姆的重大贡献在于：通过实验和研究，证明了实现智能行为的主要手段在于知识，在多数实际情况下是特定领域的知识，从而最早倡导了“知识工程”（Knowledge engineering），并使知识工程成为人工智能领域中取得实际成果最丰富、影响也最大的一个分支。雷蒂自称是“第二代的人工智能研究者”(“a second-generation artificial intelligence researcher”)，因为他在斯坦福大学攻读博士学位时的导师是有“人工智能之父”之称的J.McCarthy(他在1971年被授予图灵奖)。
第三十位：
曼纽尔·布卢姆——计算复杂性理论的主要奠基人之一曼纽尔·布卢姆（Manuel Blum），密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一，第三十届（1995年）图灵奖得主。Blum是卡内基梅隆大学计算机科学教授，也是世界上理论计算机学大师。他被选举成为美国国家科学院（National Academy of Sciences）的成员，这对于任何一位美国的科学家或是工程师来说都是最高的荣誉。
第三十一个：
阿米尔·伯努利（Amir Pnueli），出生于1941年4月22日于Nahalal，以色列。Amir Pnueli年青时代从以色列Technion-Israel Institute of Technology 技术学院获得其数学学士学位，从以色列Weizmann Institute of Science获得其应用数学博士学位。1996年授予Amir Pnueli 图灵奖，以表彰其在计算机科学中引入时序逻辑的开创性的研究工作，和其在编程语言和系统验证方面的突出贡献。
第三十二个：
道格拉斯·恩格尔巴特（Dr.Douglas C.Engelbart，1925年1月30日－2013年7月2日），美国发明家，瑞典人和挪威人后裔。最广为人知的是他发明了鼠标，另外他的小组是人机交互的先锋，开发了超文本系统、网络计算机，以及图形用户界面的先驱；并致力于倡导运用计算机和网络，来协同解决世界上日益增长的紧急而又复杂的问题。1997年ACM授予他图灵奖。
第三十三个：
詹姆斯·尼古拉·格雷（James Nicholas “Jim” Gray，1944年－2007年），美国资讯工程学家。他就读于柏克莱加州大学，1966年取得工程数学学士，1969年取得计算机科学博士。他先后在贝尔实验室、IBM、Tandem、DEC等公司工作，研究方向转向数据库领域。在IBM期间，他参与和主持过IMS、System R、SQL/DS、DB2等项目的开发，在Tandem期间，格雷对该公司的主要数据库产品ENCOMPASS进行了改进与扩充，并参与了系统字典、并行排序、分布式SQL、Nonstop SQL等项目的研制工作。
格雷是在1999年5月4日于亚特兰大举行的ACM全国会议上接受图灵奖的。格雷发表了“信息技术今后的目标”的演说(What Next?一A dozen remaining IT problems)。
第三十四个：
弗雷德里克·布鲁克斯首届计算机先驱奖获奖者之一是资深计算机科学家弗雷德里克·布鲁克斯(FrederickPhillipsBrooks，Jr．)。布鲁克斯这个名字在中国知之者不多，但在美国却是大名鼎鼎的，因为他在20世纪60年代初只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM／360系列计算机的开发工作，取得辉煌成功，从而名噪一时。以后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上，在计算机技术的诸多领域中都作出了巨大的贡献。1999年授予其图灵奖。
第三十五个：
姚期智(Andrew Chi-Chih Yao)，世界著名计算机学家，2000年图灵奖得主，美国科学院院士，美国科学与艺术学院院士，中国科学院外籍院士，清华大学高等研究中心教授。1967年获得台湾大学物理学士学位，1972年获得美国哈佛大学物理博士学位，1975年获得美国伊利诺依大学计算机科学博士学位。1975年至1986年曾先后在美国麻省理工学院数学系、斯坦福大学计算机系、加利福尼亚大学伯克利分校计算机系任助教授、教授。1986年至2004年在普林斯顿大学计算机科学系担任Wiliam and Edna Macaleer工程与应用科学教授。2004年起在清华大学任全职教授。
第三十六个： 奥利-约翰·达尔（英语：Ole-Johan Dahl，1931年10月12日－2002年1月 29日），生于挪威曼达尔，著名计算机科学家，与克利斯登·奈加特共同创造了Simula，被认为是面向对象之父。因此贡献，他与克利斯登·奈加特共同获得2001年图灵奖与2002年约翰·冯诺依曼奖。
克利斯登·奈加特（Kristen Nygaard，1926年—2002年），出生于挪威奥斯陆，是著名的计算机科学家，社会活动家。1948年大学毕业后，他进入挪威国防研究院NDRE，从事有关计算、程序设计和运筹学方面的工作。经过不断的努力，他成为SIMULA-67语言的创始人，面向对象技术的先驱，曾获得冯•诺依曼奖和第36届图灵奖。
第三十六个（含三个人）：
罗纳德·李维斯特（Ronald L.Rivest）现任麻省理工学院（MIT）电子和计算机科学系Viterbi 讲座教授。他是MIT计算机和人工智能实验室的成员，并领导着其中的信息安全和隐私中心。1977年从斯坦福大学获得计算机博士学位。主要从事密码安全、计算机安全算法的研究，他发明了ISA KEY的算法，这个算法在信息安全中获得最大的突破，这一成果也使他在2002年得到图灵奖。他现在担任国家密码学会的负责人。
阿迪·萨莫尔（Adi Shamir)教授是当前著名的密码学专家，出生于1952年7月6日，对当代的密码学和计算机科学坐出了重大贡献。他是查分密码分析学的发明人。阿迪·萨莫尔早年在以色列魏茨曼科学研究所获得硕士、博士学位，1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文章，获得了多项奖励，如美国计算机学院 Kannelakis 奖、以色列数学协会Erdos 奖、IEEE W.R.G.Baker 奖、UAP 科学奖、梵蒂冈PUIS XI金奖以及 IEEE Koji Kobayashi 计算机与通信奖等等。阿迪·萨莫尔教授是国际著名的密码学专家，为现代密码学提供了很多新的理念，多年来始终活跃在密码学界的前沿，是学界公认的领军人物。他与Ronald L.Rivest（美国麻省理工学院教授）和Leonard M.Adelman-Ronald L（美国加州大学伯克利分校教授）共同创立了以他们三个人的名字命名的RSA公钥密码系统。RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制。2002年被授予图灵奖。
伦纳德·阿德曼（Leonard M.Adleman）出生于1945年12月31日于加州。Adleman分别于1968年和1976年从加州Berkeley获得其数学学士学位和EECS的博士学位。他是计算机病毒的“教父”（他的博士生Cohen是计算机病毒的发明人），DNA计算的创始人，爱滋病免疫学大师级专家，在数学、计算机科学、分子生物学、爱滋病研究等 每一个方面作出的卓越贡献都是大师级成果。
1994年，他的论文《分子计算应用于解决组合问题》中，描述实验使用 DNA 作为一个计算系统。利用此系统，他解决了一个七节点的哈密顿图问题，一个类似旅行推销员问题的NP完全问题。2002年被授予图灵奖。
第三十七个：
艾伦·凯（1940年5月17日—），英文原名Alan Curtis Kay，美国计算机科学家，在面向对象编程和窗口式图形用户界面方面作出了先驱性贡献。2003年获得图灵奖。目前担任Viewpoints研究院院长，加州大学伯克利分校兼职教授。曾任Apple公司院士，惠普公司资深院士。
第三十八个（含两个）：
文特。瑟夫，是20世纪70年代创建互联网的元老之一，1943年6月23日出生于美国洛杉矶。文特•瑟夫现任谷歌公司副总裁兼首席互联网专家。他和罗伯特•卡恩合作设计了TCP/IP协议及互联网的基础体系结构。许多人把瑟夫看作“互联网之父”之一。2004年，卡恩和瑟夫因为他们在互联网协议方面所取得的杰出成就而荣膺美国计算机学会（ACM）颁发的图灵奖。2007年年3月，瑟夫受聘为清华大学名誉教授。
罗伯特·埃利奥特·卡恩（Robert Elliot Kahn，1938年12月23日－），常称鲍勃·卡恩（Bob Kahn），美国计算机科学家。罗伯特·卡恩于纽约城市大学获电机工程学士，普林斯顿大学硕士和博士，之后被麻省理工学院聘为助理教授。80年代中期，他还参与了美国国家信息基础设施(NII)的设计，NII后来被我们称之为“信息高速公路”。他发明了TCP协议，并与温顿·瑟夫一起发明了IP协议；这两个协议成为全世界因特网传输资料所用的最重要的技术。2004年，因互联网领域先驱性的贡献，其中包括Internet基础通讯协议的设计与实现，TCP/IP协议，和网络领域的权威性的领导地位，获得图灵奖。
第三十九个：
彼得·诺尔（英语：Peter Naur，1928年10月25日－），生于丹麦腓特烈斯贝，计算机科学家。他开发了BNF范式，改进了编程语言。彼得·诺尔出生于1928年10月25日于丹麦。诺尔于1949年从Copenhagen Unviersity(哥本哈根大学)获得其天文学方面的Magister of Science学位(类似于硕士学位)，1957年完成了其天文学的博士学位。在1950年和1951年其间，诺尔在英国剑桥大学研读天文学。其间，诺尔的工作用到了计算机(EDSAC，世界上第一台使用存储装置的电子计算机)。1959年，诺尔加盟丹麦第一个计算机公司--Regnecentralen。并且领导了Algol 60语言的定，为2005年图灵奖得主，也是目前唯一一位丹麦籍的得主。
第四十个：
法兰西斯·伊丽莎白·艾伦（英语：Frances Elizabeth Allen，1933年－），昵称法兰·艾伦（英语：Fran Allen）是一位计算机科学家，作为一名编译器优化领域的先驱，她的成就主要包括编译器的基本原理、代码优化和并行编译等。2006年图灵奖得主。
1954年，艾伦毕业于美国纽约州立大学奥尔巴尼分校，并获得学士学位。
她在1980年代早期创立了并行翻译（Parallel TRANslation，PTRAN）研究组，致力于研究并行计算机的编译问题。该小组的工作在编译器的并行化方面处于世界领先的位置。她在这些项目中的工作促成了许多目前广泛应用于商业编译器中的程序优化算法和技术。
艾伦在IBM业界有广泛影响，并于1989年成为第一位女性IBM Fellow。她也是IBM技术研究院（IBM Academy of Technology）的主席。
艾伦因“她对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础”而成为第一位获得图灵奖的女性。
第四十一个：
爱德蒙·克拉克（Edmund Clarke）(born July 27, 1945)，1967年Clarke从美国南部的弗吉尼亚大学获得了其数学的学士学位，然后1968年从杜克大学完成了其数学的硕士学位的学业。9年之后的1976年，从康奈尔大学计算机系获得其博士学位。然后，Clarke在杜克大学任教两年。1978年，加入了哈佛大学并担任助理教授一职。1982年，Clarke离开哈佛加入了卡内基梅隆大学计算机系，并在1989年被评为全职终身教授一职。
1981年，他与自己的博士生Allen Emerson首次提出了模型检查的想法并用在自动机并发系统的验证研究上。成为形式逻辑研究方面模型检查的开创者之一。
2007年度图灵奖授予Edmund M.Clarke、E Allen Emerson和Joseph Sifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
艾伦·爱默生（Ernest Allen Emerson），是Edmund Clarke在哈佛大学的博士生。著名的“模型检测”的论文就是Emerson与导师Clarke合作的。Emerson是从德州奥斯丁分校获得的其数学本科学位，并从哈佛大学应用数学系获得其博士学位。Emerson是得克萨斯大学奥斯汀分校教授，曾任 ACM Transactions on Computational Logic, Formal Aspects of Computing, 和 Formal Methods in Systems Design 等杂志的编委。他拥有得克萨斯大学奥斯汀分校数学学士和硕士学位，哈佛大学应用数学学位。2007年图灵奖得主。
约瑟夫·斯发基斯（Joseph Sifakis）是一个来自希腊的计算机科学家。1946年出生于希腊的Heraklion, Crete。Sifakis年青时候分别在希腊的雅典国立科技大学的电子工程系和法国的University of Grenoble计算机系学习。Joseph Sifaki是法国国家科研中心（CNRS）的研究总监，法国国家科研中心2001年银质奖章的获得者，获有工程师博士学位和法国格勒诺布尔一大（UJF）国家博士生学位。他亦是位于法国格勒诺布尔以嵌入式系统著称世界的研究中心Verimag实验室（UJF/CNRS/INPG）的创始人。2007年图灵奖得主。
第四十二个：
芭芭拉·利斯科夫（Barbara Liskov，1939年11月7日－），本名Barbara Jane Huberman，美国计算机科学家，1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位，她是美国第一个计算机科学女博士。导师为1971年图灵奖得主约翰·麦卡锡，论文题目是国际象棋残局程序。2008年图灵奖得主。
第四十三个：
查尔斯·萨克尔（Charles P.Thacker，1943年2月26日－），1943年2月26日，萨克尔出生于美国加州帕萨迪纳。1968年在加州大学伯克利分校读物理专业时加入Genie项目，开始进入计算机界。1970年，加盟施乐公司Palo Alto研究中心。先后担任MAXC时分操作系统的项目负责人，Alto个人计算系统的首席设计师等职务。主持或者参与了Alto、以太网、激光打印机等的设计与开发。1983年，加盟迪吉多公司，参与创建该公司的系统研究中心。主持设计了第一个多处理器工作站DEC Firefly。1997年，加入微软，帮助创建微软剑桥研究院。1999年，从事微软Tablet PC的开发。因设计与实现了第一台现代个人电脑Xerox Alto而荣获2009年图灵奖。
第四十四个：
莱斯利·瓦利特（Leslie Valiant），1949年3月28日出生。曾在英国剑桥大学国王学院、伦敦帝国学院和华威大学接受教育。1974年获得英国华威大学计算机科学博士学位。1982年，成为美国哈佛大学教授，任教于哈佛大学工程和应用科学学院。
Les在计算理论方面最大的贡献是Probably approximately correct learning。PAC模型可最大限度地降低泛化带来的错误，这就是为什么它被称为“概率近似正确” 的原因。此学习模型对于机器学习、人工智能和其他计算领域（如自然语言处理、笔迹识别、机器视觉等）都产生了重要影响。
第四十五个：
人工智能领域先驱朱迪亚·珀尔（Judea Pearl）2011年被授予图灵奖。珀尔为位于洛杉矶的加利福尼亚大学计算机科学的教授，朱迪亚·珀尔在其研究领域过去30年的造诣为人工智能的发展提供了理论基础，同时在机械学习领域取得了非凡的成就。他创建了“处理不确定信息的计算基础，这也是智能系统所面临的核心问题。
第四十六个：
2012年图灵奖授予来自麻省理工(MIT)的两位教授和计算机安全学者，以表彰他们为现代密码学发展所作的贡献。
获奖者之一的莎菲.戈德瓦萨(Shafi Goldwaer)是麻省理工计算机和电子工程教授，拥有RSA教授的头衔，她同时也是以色列魏茨曼科学学院(Weizmann Institute of Science in Israel)的教授。
西尔维·奥麦克林是麻省理工学院的福特工程 学教授(Ford Profeor of Engineering at MIT)。Goldwaer则是麻省理工机电工 程与计算机科学系的RSA教授(RSA Profeor of Electrical Engineering and Computer Science)，同时还是以色列魏 茨曼科学研究所(Weizmann Institute of Science)计的算机科学与应用数学(Computer Science and Applied Mathematics)教授。
中学图灵社工作总结总结就是把一个时间段取得的成绩、存在的问题及得到的经验和教训进行一次全面系统的总结的书面材料，它可以有效锻炼我们的语言组织能力，让我们抽出时间写写......
刀豆文库小编为你整合推荐8篇中学图灵社工作总结，也许这些就是您需要的文章，但愿刀豆文库能带给您一些学习、工作上的帮助。......
图灵信札杂文随笔□ 七月十日 晴 星期四运送车于午夜时分抵达。他们放弃一切简便形式，恐怕是为了防止意外情况产生。可以理解。就算这里并不是人流密集的居住区，严防各种可能......
著名的计算机之父是因为英国旧时代同性恋歧视法令悲愤而死。但由于他所作的巨大贡献英国当局不得不宣布同性恋合法化。下面是他的故事： 1942年布雷契莱园时期，图灵看中了一位......
著名的计算机之父是因为英国旧时代同性恋歧视法令悲愤而死。但由于他所作的巨大贡献英国当局不得不宣布同性恋合法化。下面是他的故事： 1942年布雷契莱园时期，图灵看中了一位......
