图灵奖结论_图灵奖华人_图灵奖和诺贝尔奖西蒙(2)

Floyd设计高效可靠软件的方法学1979年肯尼斯·艾佛森Kenneth E。 Iverson程序设计语言和数学符号，互动系统的设计，运用 APL进行教学，程序设计语言的理论与实践1980年东尼·霍尔C。 Antony R。 Hoare程序设计语言的定义与设计1981年埃德加·科德Edgar F。 Codd系统 ，尤其是关系型1982年史提芬·古克Stephen A。 Cook计算复杂度1983年肯·汤普逊丹尼斯·里奇Ken ThompsonDennis M。 RitchieUNⅨ操作系统和 C语言1984年尼古拉斯·沃斯Niklaus Wirth程序设计语言设计、程序设计1985年理查德·卡普Richard M。 Karp算法理论，尤其是NP-完全性理论1986年约翰·霍普克罗夫特罗伯特·塔扬John HopcroftRobert Tarjan算法和数据结构的设计与分析1987年约翰·科克John Cocke编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发1988年伊凡·苏泽兰Ivan Sutherland计算机图形学1989年威廉·卡亨William Morton Kahan数值分析1990年费尔南多·考巴托Fernando J。

CorbatóCTSS 和 Multics1991年罗宾·米尔纳Robin MilnerLCF ， ML语言 ， CCS1992年巴特勒·兰普森Butler W。 Lampson分布式 ，个人计算环境1993年尤里斯·哈特马尼斯理查德·斯特恩斯Juris HartmanisRichard E。 Stearns计算复杂度理论1994年爱德华·费根鲍姆拉吉·瑞迪Edward FeigenbaumRaj 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 DahlKristen Nygaard面向对象编程2002年罗纳德·李维斯特阿迪·萨莫尔伦纳德·阿德曼Ronald L。

RivestAdi ShamirLeonard M。 Adleman公钥密码学 （ RSA加密算法 ）2003年艾伦·凯Alan Kay面向对象编程2004年文特·瑟夫罗伯特·卡恩Vinton G。 CerfRobert E。 KahnTCP/IP 协议2005年彼得·诺尔Peter NaurAlgol 60语言2006年法兰西斯·艾伦Frances E。图灵奖结论 Allen优化编译器2007年爱德蒙·艾伦·爱默生约瑟夫·斯发基斯Edmund M。 ClarkeAllen EmersonJoseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误2008年芭芭拉·利斯科夫Barbara Liskov编程语言和系统设计的实践与理论2009年查尔斯·萨克尔Charles Thacker帮助设计、制造第1款现代PC2010年莱斯利·瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献2011年犹大·伯尔Judea Pearl人工智能2012年沙菲·戈德瓦塞尔西尔维·奥麦克林Shafi GoldwasserSilvio Micali由于在密码学和复杂理论领域做出创举性工作2013年

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41251-2.html