介绍计算机图灵奖

语言?1984年?尼古拉斯·沃斯?Niklaus Wirth?程序设计语言设计、程序设计?1985年?理查德·卡普?Richard M. Karp?算法理论,尤其是NP-完全性理论?1986年?约翰·霍普克罗夫特?Juris Hartmanis?Richard E. StearnsР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. Kahn??TCP/IP协议?2005年?彼得·诺尔?Peter Naur?Algol 60语言