筹划机科学是天下上进展最快的学科之一,筹划机科学的进展直接影响着人们的生存,并有也许从根柢上变换保守的生存方法。图灵奖做为筹划机周围的最高奖项,向来被誉为“筹划机界的诺贝尔奖”,停止往年,图灵奖共给与了74名获奖者,散布在几十个周围,包罗:编译道理、程序打算谈话、筹划繁杂性理论、人为智能、暗号学、数据库等周围。
年份
华文译名
进贡周围
艾伦·佩利
高档程序打算本领,编译器构造
莫里斯·威尔克斯
保存程序式筹划机EDSAC
理查德·卫斯里·汉明
数值法子,主动编码系统
马文·明斯基
人为智能
詹姆斯·维尔金森
数值剖析,线性代数,差错剖析
约翰·麦卡锡
人为智能
艾兹格·迪科斯彻
程序打算谈话的科学与艺术
查理士·巴赫曼
数据库本领
高德纳
算法剖析、程序打算谈话的打算
艾伦·纽厄尔
人为智能,人类认贴心绪学
赫伯特·西蒙
迈克尔·拉宾
非肯定性主动机
达纳·斯科特
约翰·巴克斯
程序打算谈话标准
罗伯特·弗洛伊德
打算高效牢靠软件的法子学
肯尼斯·艾佛森
程序打算谈话和数学标记
东尼·霍尔
程序打算谈话的界说与打算
埃德加·科德
数据库系统,瓜葛型数据库
史提芬·古克
筹划繁杂度
肯·汤普逊
UNⅨ职掌系统和C谈话
丹尼斯·里奇
尼古拉斯·沃斯
程序打算谈话打算、程序打算
理查德·卡普
算法理论,NP-统统性理论
约翰·霍普克罗夫特
算法和数据机关的打算与剖析
罗伯特·塔扬
约翰·科克
编译理论,大型系统的体制机关
伊凡·苏泽兰
筹划机图形学
威廉·卡亨
数值剖析
费尔南多·考巴脱
CTSS和Multics
罗宾·米尔纳
LCF,ML谈话,CCS
巴特勒·兰普森
散布式,部分筹划处境
尤里斯·哈特马尼斯
筹划繁杂度理论
理查德·斯特恩斯
爱德华·费根鲍姆
大范围人为智能系统
拉吉·瑞迪
曼纽尔·布卢姆
筹划繁杂度理论,暗号学
阿米尔·伯努利
时序逻辑,程序与系统考证
道格拉斯·恩格尔巴特
互动筹划
詹姆斯·尼古拉·格雷
数据库与事情责罚
弗雷德里克·布鲁克斯
体制机关,职掌系统,软件工程
姚期智
伪随机数生成,暗号学与繁杂度
奥利-约翰·达尔
面向目标编程
克利斯登·奈加特
罗纳德·李维斯特
公钥暗号学(RSA加密算法)
阿迪·萨莫尔
伦纳德·阿德曼
艾伦·凯
面向目标编程
文特·瑟夫
TCP/IP协定
罗伯特·卡恩
彼得·诺尔
Algol60谈话
法兰西斯·艾伦
优化编译器
爱德蒙·克拉克
筹划机硬件和软件探测法子
艾伦·爱默生
约瑟夫·斯发基斯
芭芭拉·利斯科夫
编程谈话和系统打算
查尔斯·萨克尔
扶助打算、建造第一款当代PC
莱斯利·瓦伦特
筹划理论
犹大·伯尔
人为智能
莎菲·戈德瓦塞尔
暗号学和繁杂理论
希尔维奥·米卡利
莱斯利·兰伯特
筹划机系统的牢靠性及平稳性
迈克尔·斯通布雷克
当代数据库系统底层观点与练习
惠特菲尔德·迪菲
非对称加密的独创人
马丁·赫尔曼
蒂姆·伯纳斯·李
万维网的创造者
约翰·轩尼诗
开辟了RISC微责罚器
大卫·帕特森
约舒亚·本希奥
在人为智能深度研习方面的进贡
杰弗里·欣顿
扬·莱坎
帕特里克·汉拉汗
3D筹划机图形学
艾德文·卡特姆
杰弗里·戴维·乌尔曼
编程谈话完成的基本理论
阿尔佛雷德·艾侯
本文转自罗彻斯特大学罗杰波教师团队的论文