图灵奖获得者(2010修订版)

《图灵奖获得者(2010修订版)》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、历届图灵奖获得者年度姓名获奖原因所在机构本科、硕士、博士1966AlanJ.Perlis艾伦·佩利（1990/2/7逝世）因在程序设计和编译领域的贡献而获奖。“使计算机科学成为独立学科的奠基人”(AfoundingfatherofComputerScienceasaseparatediscipline)CarnegieMellonUniversity卡内基梅隆大学本科：化学，CMU硕士：数学，Caltech博士：数学，MIT1967MauriceVincentWilkes莫里斯·威尔克斯世界上第一台具有内部存储程序的计算机EDSAC的

2、研制者。UniversityofCambridge剑桥大学本科：物理，英·剑桥·圣约翰学院硕士、博士：物理，英·剑桥1968Richard WesleyHamming理查德·卫斯里·哈明（1998/1/7逝世）因在数字方法、自动编码系统和错误检测和错误纠正编码领域的杰出贡献而获奖。BellLabs贝尔实验室本科：数学，芝加哥硕士：数学，内布拉斯加大学博士：数学，UIUC1969MarvinLeeMinsky马文·明斯基因在人工智能研究领域的杰出成就而获奖。MassachusettsInstituteofTechnology麻省理工学院

3、本科：物理，哈佛硕士、博士：数学，普林斯顿1970JamesHardyWilkinson詹姆斯·威尔金森因在数值分析研究领域的杰出贡献而获奖。NationalPhysicalLaboratoryofUK英国国家物理实验室本科：数学，英·剑桥·三圣学院1971JohnMcCarthy约翰·麦卡锡因在人工智能研究方面的杰出贡献而获奖。StanfordUniversity斯坦福大学本科：数学，Caltech硕士、博士：数学，普林斯顿1972EdsgerWybeDijkstra埃德斯加·狄克斯特拉因最早指出“goto是有害的”以及首创结构化程

4、序设计而获奖。EindhovenUniversityofTechnology埃因霍温技术大学本科：数学、物理，荷·莱顿大学博士：数学/计算机，荷·阿姆斯特丹大学1973CharlesW.Bachman查尔斯·巴赫曼因数据库技术方面的杰出贡献而获奖，网状数据库之父。HoneywellInternationalInc.霍尼韦尔公司本科：机械工程，密歇根州立大学；硕士：宾夕法尼亚大学；MBA：沃顿商学院1974DonaldErvinKnuthStanfordUniversity本科唐纳德·克努特因在算法分析和程序语言设计领域的杰出贡献而获奖

5、，特别是其著名的“ArtofComputerProgramming”系列丛书。斯坦福大学：物理，Case理工学院，毕业时因成绩优异获得硕士学位博士：数学，Caltech1975AllenNewell艾伦·纽厄尔因在人工智能、认知科学、编目处理方面作出的基础性贡献而获奖。CarnegieMellonUniversity卡内基梅隆大学本科：物理，斯坦福硕士：数学，普林斯顿博士：数学，CMUHerbertA.Simon赫伯特·西蒙本科、硕士、博士：政治学，芝加哥1976MichaelOserRabin米凯尔·拉宾因他们合写的论文“有限自动机

6、及其判定问题”而获奖。TheHebrewUniversityofJerusalem以色列希伯来大学本科：数学，以·莱利学院；硕士：数学，以·希伯来大学博士：数学，普林斯顿DanaS.Scott达纳·斯科特UniversityofOxford牛津大学本科：数学，伯克利硕士、博士：数学，普林斯顿1977JohnBackus约翰·巴克斯FORTRAN语言和BNF范式的发明者。IBM本科：数学，哥伦比亚1978RobertWFloyd罗伯特·弗洛伊德因在分析理论、程序设计语言的逻辑与语义、自动程序验证、自动程序综合、算法分析以及编译器方面的贡

7、献而获奖。StanfordUniversity斯坦福大学本科：文学及理科，芝加哥大学1979KennethEugeneIverson肯尼思·艾弗森因其在APL程序语言和数学符号方面的先驱性的工作而获奖。IBM本科：数学、物理，加·Queen’s大学硕士、博士：应用数学，哈佛1980CharlesAntonyRichardHoare(TonyHoare)托尼·霍尔因在程序语言定义与设计领域的基础性贡献而获奖。UniversityofOxford牛津大学本科：数学，英·牛津·莫顿学院硕士：数学，英·牛津1981EdgarFrankCodd

8、埃德加·科德因在数椐库管理系统的理论和实践方面的巨大贡献而获奖，关系数据库之父。IBM本科、硕士：数学，英·牛津博士：计算机与通信，密歇根大学1982StephenArthurCook斯蒂芬·库克因在计算复杂性理论方面的