前20名图灵奖得主

 

1.艾伦·佩利(Alan J.Perlis 1922年4月1日-1990年2月77日)，美国计算机程序设计领域科学家。
          ALGOL语言和计算机科学的“催生者”，由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育使计算机科学成为一门独立的学科上所发挥的巨大作用，1966年成为首届图灵奖获得者，
2.莫里斯·文森特·威尔克斯爵士(Sir Maurice Vincent Wilkes，1913年6月26日-2010年11月29日)，英国计算机科学家、计算技术的先驱，1967年，获得第二届图灵奖，以表彰他在设计与制造出世界上第一台存储程序式电子计算机EDSAC，以及其他许多方面的杰出贡献。
        在设计与制造EDSAC和EDSAC 2的过程中，威尔克斯创造和发明了许多新的技术概念，如变址、宏指令、微程序、子例程及子例程库、高速缓冲存储器(Cache)等，对现代计算机的体系结构和程序设计技术产生了深远的影响

3.理査德·卫斯里·汉明(Richard WesleyHamming，1915年2月11日-1998年1月7日)，美国数学家，主要贡献在计算机科学和电信。美国电脑协会(ACM)的创立人之一、主席1968年获得图灵奖。贡献包括:汉明码、汉明窗汉明距离、汉明重量、汉明界等

4.马文·李·明斯基(Marvin Lee Minsky，1927年8月9日-2016年1月24日)，美国科学家，麻省理工学院人工智能实验室的创始人之一，专长于认知科学与人工智能领域。1956年，和麦卡锡一起发起“达特茅斯会议”，并提出“人工智能”的概念。 1975年他首创框架理论。开发出了世界上最早的能够模拟人活动的机器人RobotC。 1969年，因为在人工智能领域的贡献，获得图灵奖

 5.詹姆斯·哈迪"威尔金森(James Hardy wilkinson 1919年9月27日-1986年10月5日)，英国数学家和计算机学家，在数值分析领域具有杰出贡载，尤其是在数值线性代数方面发现很多有意义的算法。1960年，他在研究矩阵计算误差时而提出“向后误差分析法”，是计算机上各种数值计算最常用的误差分析手段。1970年，获得图灵奖

6. 约翰·麦卡锡(John MeCarthy，1927年9月4日-2011年10月24日)，美国计算机科学家。1956年与马文·李·明斯基，发起达特矛斯会议，提出“人工智能”的概念。 1958年发明了LISP语言(至今仍在人工智能领域广泛使用)因在人工智能领域的贯献，1971年获得图灵奖

7.艾兹格·W·迪科斯彻(Edsger Wybe Dijkstra，1930年5月11日-2002年8月6日)，荷兰计算机科学家。被西方学术界称为“结构程序设计之父”。1972年获得图灵奖主要贡献:提出“goto有害论”;提出“信号量”“PV原语”“死馈”等概念;解决了“哲学家就餐”问题;最短路径算法和银行家算法的创造者;第一个Algol60编译器的设计者和实现者:THE操作系统的设计者和开发者

8.査尔斯·威廉·巴赫曼(Charles Wiliam Bachman，1924年11月11日-2017年7月13日)，美国计算机科学家，1960年加入通用电气，开发出了第一代网状数据库管理系统IDS，被誉为“网状数据库之父”。他积极推动与促成了数据库标准的制定。1971年主导推出了DBTG报告，首次提出了数据库三层体系结构。提供了建立维护巴曼图的图形支持工具1973年，他因“数据库技术方面的杰出贡献”而被授子图灵奖

9. 艾伦·组尼尔(Ailen Newel 1927年3月19日1992年7月19日)，美国计算机科学和认知信息学
领域的科学家。他是信息处理语言(IPL)发明者之一，并写了该语言最早的两个AI程序，合作开发了“逻辑理论家和“通用问题求解器”。1975年他和赫伯特·西蒙一起因人工智能方面的基础量献面被授予图灵奖
赫伯转·亚历山大·西蒙(Herbert AlexanderSimon，1916年6月15日-2001年2月9日)，中文名司马贺，美国计算机科学家，心理学家。1975年图灵奖获得者、1978年诺贝尔经济学奖获得者。西蒙是一个通才，他是现代许多重要学术领域的创建人之一，如人工智能、信息处理、决筑制定、解决问注意力经济、组织行为学、复杂系统等。

10. 迈克尔·拉宾(MichmelOserRabin，1931年9月1日)，以色列/美国计算机科学家。，1976年图灵奖得主。1975年，拉宾发明了“来勒-拉宾检验”的素数判定法则,这个快速素数检验是目前大部分公钢密码体系的关键。1979年，拉宾发明了第一个非对称密码系统--拉宾密码系统。1981年，拉宾提出了“不经意传输”技术。1987年，拉宾和理查德·卡普提出“拉宾-卡普算法
达纳·斯图尔特·斯科特(Dana Stewart Scott1932年10月11日一)，美国科学家，研究领域及计算机科学、数学和哲学，1976年图灵奖得主。1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”的论文，提出了非确定自动机的观点。他们因此获得了1976年的图灵奖

 11.约翰·巴科斯(John Backus，1924年12月3日-2007年3月17日)，美国计算机科学案FORTRAN语言之父:他带领的团队发明了第一套广泛使用的高级语言FORTRAN。他还发明了用形式化符号来描述形式语言的范式:巴科斯范式(BNF)。发明“函数式程序设计”这个概念及实践该概念的
FP(Funetional Pregramming)语言。1977年荣获图灵奖

 12.罗伯特·W·弗洛伊德(Robert W,Floyd，1936年6月8日-2001年9月25日)，美国计算机科学家主要贯献包括弗洛伊德算法，能有效地发现图的所有最短路径;共同发明了著名的堆排序算法;1967年发表引超轰动并产生深远影响的论文《如何确定程序的意义》，提出“归纳断言法”，之后演化为霍尔逻辑。获得1978年图灵奖

13.肯尼斯·艾佛森(Kenneth E.Iverson，1920年12月17日-2004年10月19日)，加拿大/美国计算机科学家:最重要的贡献是开发了APL语言。1979年他因对数学表达式和编程语言理论的贡献面得到图灵奖。其后他和华人计算机科学家许国华(Roger Hui 19532021)对APL进行了多项改进，发明了J语言:

14.查尔斯·安东尼·理查德·霍尔爵士(Sir Charles AntonyRichard Hoare，1934年1月11日一)，简称托尼·尔(Tony Hoare)，英国计算机科学家，图灵奖得主。他设计出了快速排序算法、霍尔逻辑、交谈循序进程。开发出第一个商用的ALGOL 60编译器。因其对Alg0l60程序设计语言理论、互动式系统及APL的贯献，1980年获颁图灵奖 

 15.埃德加·科德(Edgar Frank Codd 1923年8月19日-2003年4月18日)，英国/美国计算机科学家，他在IBM工作期间，发表题为“大型共享数据库的关系模型”的论文，文中首次提出了数据库的关系模型成为一个在数据库管理方面非常具有影响力的基础理论。被誉为“关系数据库之父”1981年，因在关系型数据库方面的贯献获得图灵奖

16. 斯蒂芬·库克(Stephen A.Cook，1939年12月14日一)，加拿大/美国计算机科学家，是对计算复杂性理论有突出贯献的计算机科学家之一，NP完全性理论的奠基人。1971年发表“库克定理”，奠定了MP完全理论的基础，因此获得1982年的图灵奖

 17.骨尼斯·蓝·汤普森(Kenneth LaneThompson，1943年2月4日一)，小名为肯·汤普森(KenThompson)，美国计算机科学学者与软件工程师，1983年图灵奖得主，在贝尔实验室工作期间，汤曾逊设计和实现了Unix操作系统他创造了B语言--C语言的前身，而且他是Plan9操作系统
的创适者和开发者之一。还参与过正则表达式和UTF-8编码的设计，改进了文本编辑器QED，创造了ed编辑器2006年，进入co0ge公司工作，与他人共同设计了Go语言
丹尼斯·麦卡利斯泰尔·里奇(Demmis MacAlistairRitchie，1941年9月9日-2011年10月12日)，美国计算机科学家。1983年图灵奖得主。C语言的创造者、Unix操作系统的关键开发者，被警为C语言之父，UNIX之发:1978年与布荣恩·W，克尼汉(Brian W,Kernighan)"起出版了名著《C程序设计语言》，被誉为C语言的圣经因为发展C语言和Unix操作系统，与·汤普逊，成为1983年图灵奖得主。

18.尼古拉斯·沃斯(Niknus wirth，1934年2月15日-)，瑞士计算机科学家。1968年，创建与实现了Pagcal语言。被曾为Pagcal语言之父:1971年4月，基于其开发程序设计语言和编程的实践经验，首次提出了“结构化程序设计”的既念，提出“算法+数据结构=程序”这一著名公式他是多种编程语言的主设计师(AlgolW、Modula、Pascal、Modula-2.Oberon、Euler)，因发展了这典语言，1984年获得图灵奖

19.理查德·曼宁·卡普(Richard Manning Karp，1935年1月3日-)，美国计算机科学家和计算理论家。1985年图灵奖得主。在NP完备性的理论和应用、构建高效组合算法以及在计算机科学中应用概率方法方面有重大贯献。提出“分枝限界法”;共同开发了埃德蒙兹-卡普演算法、霍普克洛夫特-卡普算法、拉宾-卡普演算法;证明了卡普-利普顿定理。1972年，他发表具有里程碑意义的论文《组合间题中的可归约性》，其中他证明了21个NP-完全问题

20. 约翰·霍普克罗夫特(John Edward Hopcroft,1939年10月7日-)，美国计算机科学家。1986年图
灵奖得主。在形式语言，计算理论及数据结构领域中，他写作的教科书，被认为是经典著作。提出用渐近分析作为衡量算法性能的主要指标，成为计算机科学的一大支柱
罗伯特·恩卓·塔扬(Robert Encre Tarjan，1948年4月30日-)，美国计算机科学家，1986年图灵奖得主。他发现了解决最近公共祖先(LCA)问题、强连通分量问题、双连通分量问题的高效算法，参与
了开发要波那契堆、伸展树，分析并查集的工作