图灵奖获得者图灵奖获得者
图灵奖获得者 年份 中文译名 姓名 贡献领域 1966年 艾伦?佩利 Alan J. Perlis 高级程序设计技巧,编译器构造 1967年 莫里斯?威尔克Maurice V. Wilkes 存储程序式计算机EDSAC, 程序库
斯
1968年 理查德?卫斯Richard Hamming 数值方法,自动编码系统,错误检测和纠错码
里?汉明
1969年 马文?闵斯基 Marvin Minsky 人工智能
1970年 詹姆斯?维尔金James H. Wilkinson 数值分析,线性代数,倒退错误分析
...
图灵奖获得者
图灵奖获得者 年份 中文译名 姓名 贡献领域 1966年 艾伦?佩利 Alan J. Perlis 高级程序设计技巧,编译器构造 1967年 莫里斯?威尔克Maurice V. Wilkes 存储程序式计算机EDSAC, 程序库
斯
1968年 理查德?卫斯Richard Hamming 数值方法,自动编码系统,错误检测和纠错码
里?汉明
1969年 马文?闵斯基 Marvin Minsky 人工智能
1970年 詹姆斯?维尔金James H. Wilkinson 数值分析,线性代数,倒退错误分析
森
1971年 约翰?麦卡锡 John McCarthy 人工智能
1972年 艾兹格?迪科斯Edsger Dijkstra 程序设计语言的科学与艺术
彻
1973年 查理士?巴赫曼 Charles W. Bachman 数据库技术
1974年 高德纳 Donald E. Knuth 算法分析、程序设计语言的设计、程序设计
《计算机程序设计艺术》(The Art of Computer Programming)
1975年 艾伦?纽厄尔 Allen Newell 人工智能,人类认知心理学和列
处理 (list processing)
赫伯特?西蒙 Herbert A. Simon
1976年 迈克尔?拉宾 Michael O. Rabin 非确定性自动机
达纳?斯科特 Dana S. Scott
1977年 约翰?巴克斯 John Backus 高级编程系统,程序设计语言规范的形式化定义 1978年 罗伯特?弗洛伊Robert W. Floyd 设计高效可靠软件的方法学
德
1979年 肯尼斯?艾佛森 Kenneth E. Iverson 程序设计语言和数学符号,互动系统的设计,运用 APL进行
教学,程序设计语言的理论与实践 1980年 东尼?霍尔 C. Antony R. Hoare 程序设计语言的定义与设计 1981年 埃德加?科德 Edgar F. Codd 数据库系统,尤其是关系型数据库 1982年 史提芬?古克 Stephen A. Cook 计算复杂度
1983年 肯?汤普逊 Ken Thompson UNIX操作系统和C语言
丹尼斯?里奇 Dennis M. Ritchie
1984年 尼克劳斯?维尔Niklaus Wirth 程序设计语言设计、程序设计
特
1985年 理查德?卡普 Richard M. Karp 算法理论,尤其是NP-完全性理论 1986年 约翰?霍普克罗John Hopcroft 算法和数据结构的设计与分析
夫特 Robert Tarjan
罗伯特?塔扬
1987年 约翰?科克 John Cocke 编译理论,大型系统的体系结构,及精简指令集(RISC)计
算机的开发
1988年 伊凡?苏泽兰 Ivan Sutherland 计算机图形学
1989年 威廉?卡亨 William Morton 数值分析
Kahan
1990年 费尔南多?考巴Fernando J. Corbató CTSS 和 Multics
托
1991年 罗宾?米尔纳 Robin Milner LCF,ML语言,CCS 1992年 巴特勒?兰普森 Butler W. Lampson 分布式,个人计算环境 1993年 尤里斯?哈特马Juris Hartmanis 计算复杂度理论
尼斯 Richard E. Stearns
理查德?斯特恩
斯
1994年 爱德华?费根鲍Edward Feigenbaum 大规模人工智能系统
姆 Raj Reddy
拉吉?瑞迪
1995年 曼纽尔?布卢姆 Manuel Blum 计算复杂度理论,及其在密码学和程序校验上的应用
1996年 阿米尔?伯努利 Amir Pnueli 时序逻辑,程序与系统验证 1997年 道格拉斯?恩格Douglas Engelbart 互动计算
尔巴特
1998年 詹姆斯?尼古James Gray 数据库与事务处理
拉?格雷
1999年 弗雷德里克?布Frederick P. 计算机体系结构,操作系统,软件工程
鲁克斯 Brooks, Jr.
2000年 姚期智 Andrew Chi-Chih Yao 计算理论,包括伪随机数生成,密码学与通信复杂度
2001年 奥利-约翰?达Ole-Johan Dahl 面向对象编程
尔 Kristen Nygaard
克利斯登?奈加
特
2002年 罗纳德?李维斯Ronald L. Rivest 公钥密码学(RSA加密算法)
特 Adi Shamir
阿迪?萨莫尔 Leonard M. Adleman
伦纳德?阿德曼
2003年 艾伦?凯 Alan Kay 面向对象编程
2004年 文特?瑟夫 Vinton G. Cerf TCP/IP
罗伯特?卡恩 Robert E. Kahn
2005年 彼得?诺尔 Peter Naur Algol 60语言
2006年 法兰西斯?艾伦 Frances E. Allen 优化编译器
2007年爱德蒙?克拉克 Edmund M. Clarke 开发自动化方法检测计算机硬件和软件中的设计错误
[1] 艾伦?爱默生 Allen Emerson
约瑟夫?斯发基Joseph Sifakis
斯
2008年 芭芭拉?利斯科Barbara Liskov 编程语言和系统设计的实践与理论
夫
2009年 查尔斯?萨克尔 Charles Thacker 帮助设计、制造第一款现代PC 2010年 莱斯利?瓦伦特 Leslie Valiant 对众多计算理论所做的变革性的贡献 2011年 朱迪亚?珀尔 Judea Pearl 通过概率论和因果推理对人工智能领域作出的根本性贡献
本文档为【图灵奖获得者】,请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑,
图片更改请在作品中右键图片并更换,文字修改请直接点击文字进行修改,也可以新增和删除文档中的内容。
[版权声明] 本站所有资料为用户分享产生,若发现您的权利被侵害,请联系客服邮件isharekefu@iask.cn,我们尽快处理。
本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。
网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。