图灵奖 图灵奖颁奖时间

图灵奖获得者[编辑]

年份中文译名姓名贡献领域

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)

  

爱华网本文地址 » http://www.413yy.cn/a/25101013/153847.html

更多阅读

龚雪等出现在2009年中国电影金鸡奖颁奖晚会 金鸡奖颁奖典礼

昨晚,2009年第27届中国电影金鸡奖颁奖典礼在江西南昌落下了帷幕,各项奖项也花落其家。对于近些年的中国电影有关颁奖,本人兴趣不大,所以也不知道昨晚金鸡奖在南昌颁奖之事,但是很有缘分的就是,昨晚,家人无意之中将电视调到了CCTV

声明:《图灵奖 图灵奖颁奖时间》为网友赱之分享!如侵犯到您的合法权益请联系我们删除