||
(source: http://blog.sciencenet.cn/blog-377709-1176491.html)
https://baike.baidu.com/item/图灵奖, https://zh.wikipedia.org/zh-hans/图灵奖:
年份 | 姓名 | 贡献领域 |
---|---|---|
1966年 | 艾伦·佩利 | 高级程序设计技巧,编译器构造 |
1967年 | 莫里斯·威尔克斯 | 存储程序式计算机EDSAC,EDSAC 2,程序库 |
1968年 | 理查德·衛斯里·漢明 | 数值方法,自动编码系统,错误检测和纠错码 |
1969年 | 马文·闵斯基 | 人工智能 |
1970年 | 詹姆斯·维尔金森 | 数值分析,线性代数,倒退错误分析 |
1971年 | 约翰·麦卡锡 | 人工智能 |
1972年 | 艾兹格·迪科斯彻 | 程序设计语言的科学与艺术 |
1973年 | 查理士·巴赫曼 | 数据库技术 |
1974年 | 高德纳 | 算法分析、程序设计语言的设计、程序设计 |
1975年 | 艾伦·纽厄尔 | 人工智能,人类认知心理学和列表处理(list processing) |
赫伯特·西蒙 | ||
1976年 | 迈克尔·拉宾 | 非确定性自动机 |
达纳·斯科特 | ||
1977年 | 约翰·巴克斯 | 高级编程系统,程序设计语言规范的形式化定义 |
1978年 | 罗伯特·弗洛伊德 | 设计高效可靠软件的方法学 |
1979年 | 肯尼斯·艾佛森 | 程序设计语言和数学符号,互动系统的设计,运用APL进行教学,程序设计语言的理论与实践 |
1980年 | 東尼·霍爾 | 程序设计语言的定义与设计 |
1981年 | 埃德加·科德 | 数据库系统,尤其是关系型数据库 |
1982年 | 史提芬·古克 | 计算复杂度 |
1983年 | 肯·汤普逊 | UNIX操作系统和C语言 |
丹尼斯·里奇 | ||
1984年 | 尼克劳斯·维尔特 | 程序设计语言设计、程序设计 |
1985年 | 理查德·卡普 | 算法理论,尤其是NP-完全性理论 |
1986年 | 約翰·霍普克洛夫特 | 算法和数据结构的设计与分析 |
罗伯特·塔扬 | ||
1987年 | 约翰·科克 | 编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发 |
1988年 | 伊凡·苏泽兰 | 计算机图形学 |
1989年 | 威廉·卡韓 | 数值分析 |
1990年 | 费尔南多·考巴托 | CTSS和Multics |
1991年 | 罗宾·米尔纳 | LCF,ML語言,CCS |
1992年 | 巴特勒·蘭普森 | 分布式,个人计算环境 |
1993年 | 尤里斯·哈特马尼斯 | 计算复杂度理论 |
理查德·斯特恩斯 | ||
1994年 | 爱德华·费根鲍姆 | 大规模人工智能系统 |
拉吉·瑞迪 | ||
1995年 | 曼纽尔·布卢姆 | 计算复杂度理论,及其在密码学和程序校验上的应用 |
1996年 | 阿米尔·伯努利 | 时序逻辑,程序与系统验证 |
1997年 | 道格拉斯·恩格尔巴特 | 互动计算 |
1998年 | 詹姆斯·尼古拉·格雷 | 数据库与事务处理 |
1999年 | 弗雷德里克·布鲁克斯 | 计算机体系结构,操作系统,软件工程 |
2000年 | 姚期智[4] | 计算理论,包括伪随机数生成,密码学与通信复杂度 |
2001年 | 奥利-约翰·达尔 | 面向对象编程 |
克利斯登·奈加特 | ||
2002年 | 罗纳德·李维斯特 | 公钥密码学(RSA加密演算法) |
阿迪·萨莫尔 | ||
伦纳德·阿德曼 | ||
2003年 | 艾伦·凯 | 面向对象编程 |
2004年 | 文特·瑟夫 | TCP/IP协议 |
罗伯特·卡恩 | ||
2005年 | 彼得·诺尔 | Algol 60语言 |
2006年 | 法蘭西斯·艾倫 | 優化編譯器 |
2007年 [5] | 爱德蒙·克拉克 | 开发自动化方法检测计算机硬件和软件中的设计错误 |
艾伦·爱默生 | ||
约瑟夫·斯发基斯 | ||
2008年 | 芭芭拉·利斯科夫 | 编程语言和系统设计的实践与理论 |
2009年 | 查尔斯·萨克尔 | 帮助设计、制造第一款现代PC |
2010年 | 莱斯利·瓦伦特 | 对众多计算理论所做的变革性的贡献 |
2011年 | 朱迪亚·珀尔 | 通过概率论和因果推理(英语:Causal reasoning)对人工智能领域作出的根本性贡献 |
2012年 | 莎菲·戈德瓦塞尔 | 在密碼科學領域裡,於複雜理論的基礎之上,做出變革性工作;並領先發展出新的具有數學可證明性的有效驗證機制[6] |
希爾維奧·米卡利 | ||
2013年 | 萊斯利·蘭波特 | 對於分散式及並形系統的理論與實踐具有基礎性貢獻,尤其是諸如因果邏輯時序(causality and logical clocks)、安全性與存活度(safety and liveness)、複製狀態機(replicated state machines)及循序一致性(英语:sequential consistency)(sequential consistency)等理論概念的發明[7] |
2014年 | 迈克尔·斯通布雷克 | 对现代数据库的概念和实践作出的根本性贡献 |
2015年 | 惠特菲爾德·迪菲 | 發明迪菲-赫爾曼密鑰交換,對公開密鑰加密技術有重大貢獻[8] |
馬丁·赫爾曼 | ||
2016年 | 蒂姆·伯纳斯-李 | 发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法[9] |
2017年 | 約翰·軒尼詩 | 开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对微处理器行业产生了持久的影响。[10] |
大衛·帕特森 | ||
2018年 | 约书亚·本希奥 | 深度学习[11] |
杰弗里·辛顿 | ||
杨立昆 |
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-19 22:41
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社