1985年理查德·卡普RichardM.Karp算法理论，尤其是NP-完全性理论

1986年约翰·霍普克罗夫特JohnHopcroft算法和数据结构的设计与分析

罗伯特·塔扬RobertTarjan

1987年约翰·科克JohnCocke编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发

1988年伊凡·苏泽兰IvanSutherland计算机图形学

1989年威廉·卡亨WilliamMortonKahan数值分析

1990年费尔南多·考巴脱FernandoJ.CorbatóCTSS和Multics

1991年罗宾·米尔纳RobinMilnerLCF，ML语言，CCS

1992年巴特勒·兰普森ButlerW.Lampson分布式，个人计算环境

1993年尤里斯·哈特马尼斯JurisHartmanis计算复杂度理论

理查德·斯特恩斯RichardE.Stearns

1994年爱德华·费根鲍姆EdwardFeigenbaum大规模人工智能系统

拉吉·瑞迪RajReddy

1995年曼纽尔·布卢姆ManuelBlum计算复杂度理论，及其在密码学和程序校验上的应用

1996年阿米尔·伯努利AmirPnueli时序逻辑，程序与系统验证

1997年道格拉斯·恩格尔巴特DouglasEngelbart互动计算

1998年詹姆斯·尼古拉·格雷JamesGray数据库与事务处理

1999年弗雷德里克·布鲁克斯FrederickP.Brooks,Jr.计算机体系结构，操作系统，软件工程

2000年姚期智AndrewChi-ChihYao计算理论，包括伪随机数生成，密码学与通信复杂度

注、姚期智、2000年获得图灵奖的时候，美国籍！

2001年奥利-约翰·达尔Ole-JohanDahl面向对象编程

克利斯登·奈加特KristenNygaard

2002年罗纳德·李维斯特RonaldL.Rivest公钥密码学（RSA加密算法）

阿迪·萨莫尔AdiShamir

伦纳德·阿德曼LeonardM.Adleman

2003年艾伦·凯AlanKay面向对象编程

2004年文特·瑟夫VintonG.CerfTCP/IP协议

罗伯特·卡恩RobertE.Kahn

2005年彼得·诺尔PeterNaurAlgol60语言 本章未完，请点击下一页继续阅读！ 第4页/共6页