图灵奖 图灵奖颁奖时间
年份中文译名姓名贡献领域
1966年艾伦·佩利Alan J. Perlis高级程序设计技巧,编译器构造
1967年莫里斯·威尔克斯Maurice V. Wilkes存储程序式计算机EDSAC,EDSAC 2,程序库
1968年理查德·卫斯里·汉明Richard Hamming数值方法,自动编码系统,错误检测和纠错码
1969年马文·闵斯基Marvin Minsky人工智能
1970年詹姆斯·维尔金森James H. Wilkinson数值分析,线性代数,倒退错误分析
1971年约翰·麦卡锡John McCarthy人工智能
1972年艾兹格·迪科斯彻Edsger Dijkstra程序设计语言的科学与艺术
1973年查理士·巴赫曼Charles W. Bachman数据库技术
1974年高德纳Donald E. Knuth算法分析、程序设计语言的设计、程序设计
1975年艾伦·纽厄尔
赫伯特·西蒙Allen Newell
Herbert A. Simon人工智能,人类认知心理学和列表处理(list processing)
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
Dennis M. RitchieUNIX操作系统和C语言
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 MilnerLCF,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
Adi Shamir
Leonard M. Adleman公钥密码学(RSA加密算法)
2003年艾伦·凯Alan Kay面向对象编程
2004年文特·瑟夫
罗伯特·卡恩Vinton G. Cerf
Robert E. KahnTCP/IP协议
2005年彼得·诺尔Peter NaurAlgol 60语言
2006年法兰西斯·艾伦Frances E. Allen优化编译器
2007年[1]爱德蒙·克拉克
艾伦·爱默生
约瑟夫·斯发基斯Edmund M. Clarke
Allen Emerson
Joseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误
2008年芭芭拉·利斯科夫Barbara Liskov编程语言和系统设计的实践与理论
2009年查尔斯·萨克尔Charles Thacker帮助设计、制造第一款现代PC
2010年莱斯利·瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献
2011年朱迪亚·珀尔Judea Pearl通过概率论和因果推理对人工智能领域作出的根本性贡献
2012年 莎菲·歌德瓦尔赛
希尔维奥·米卡利Shafi Goldwasser
Silvio Micali在密码科学领域里,于复杂理论的基础之上,做出变革性工作;并领先发展出新的具有数学可证明性的有效验证机制[2]
参考文献[编辑]
^ 2007 Turing Award Winners Announced. ddj. 2008-02-04 [2008-02-05]. ^ Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography
外部链接[编辑]
ACM图灵奖官方网站 计算的美丽--图灵奖第一个40年 1998年得主詹姆斯·尼古拉·格雷介绍
参见[编辑]
诺贝尔奖 菲尔兹奖
[隐藏] 查 论 编
图灵奖获得者
佩利(1966) · 威尔克斯(1967) · 汉明(1968) · 闵斯基(1969) · 维尔金森(1970) · 麦卡锡(1971) · 戴克斯特拉(1972) · 巴赫曼(1973) · 高德纳(1974) · 纽厄尔、西蒙(1975) · 拉宾、斯科特(1976) · 巴科斯(1977) · 弗洛伊德(1978) · 艾佛森(1979) · 霍尔(1980) · 科德(1981) · 古克(1982) · 汤普逊、里奇(1983) · 维尔特(1984) · 卡普(1985) · 霍普克罗夫特、塔扬(1986) · 科克(1987) · 苏泽兰(1988) · 卡亨(1989) · 考巴托(1990) · 米尔纳(1991) · 兰普森(1992) · 哈特马尼斯、斯特恩斯(1993) · 费根鲍姆、瑞迪(1994) · 布卢姆(1995) · 伯努利(1996) · 恩格尔巴特(1997) · 格雷(1998) · 布鲁克斯(1999) · 姚期智(2000) · 达尔、奈加特(2001) · 李维斯特、萨莫尔、阿德曼(2002) · 凯(2003) · 瑟夫、卡恩(2004) · 诺尔(2005) · 艾伦(2006) · 克拉克、爱默生、斯发基斯(2007) · 利斯科夫(2008) · 萨克尔(2009) · 瓦利安特(2010) · 珀尔(2011) · 莎菲·歌德瓦尔赛 (2012) · 希尔维奥·米卡利 (2012)
更多阅读
龚雪等出现在2009年中国电影金鸡奖颁奖晚会 金鸡奖颁奖典礼
昨晚,2009年第27届中国电影金鸡奖颁奖典礼在江西南昌落下了帷幕,各项奖项也花落其家。对于近些年的中国电影有关颁奖,本人兴趣不大,所以也不知道昨晚金鸡奖在南昌颁奖之事,但是很有缘分的就是,昨晚,家人无意之中将电视调到了CCTV
12月27日《梨园春》直播第六届电视戏曲兰花奖颁奖晚会 戏曲梨园春
12月27日,第六届电视戏曲兰花奖颁奖晚会即将在《梨园春》栏目开启华美大幕!中国广播电视协会第六届兰花杯优秀电视戏曲节目颁奖晚会即将隆重上演,这是河南电视台《梨园春》栏目第三次承办兰花奖颁奖晚会。中国电视戏曲“兰花奖”是由
无插件直播:2009年金马奖颁奖典礼
BOMBTOP FASHION ZONE12.6全程直播:第45届金马奖颁奖典礼
转载 参加恩师茅于轼获“弗里德曼自由奖”颁奖典礼感赋 劳伦斯.弗里德曼
谢谢博主分享。原文地址:参加恩师茅于轼获“弗里德曼自由奖”颁奖典礼感赋作者:段绍译段绍译陪茅于轼夫妇进入颁奖现场前在会场门口合影留念参加恩师茅于轼教授获“弗里德曼自由奖”颁奖典礼感赋——段绍译2012年5月5日凌晨作于华盛
第50届金马奖颁奖礼 章子怡获最佳女主角奖 章子怡韩国颁奖典礼
11月23日第50届金马奖颁奖典礼在台北国父纪念馆举行。《爸妈不在家》击败《一代宗师》《天注定》获得最佳电影。而影帝影后则由李康生、章子怡夺得。五十年金戈铁马,多少人名满天下。11月23日晚,台北国父纪念馆,第50届台湾 电影 金马奖