图灵奖获得者修订版.docx
- 文档编号:3006670
- 上传时间:2022-11-17
- 格式:DOCX
- 页数:17
- 大小:24.09KB
图灵奖获得者修订版.docx
《图灵奖获得者修订版.docx》由会员分享,可在线阅读,更多相关《图灵奖获得者修订版.docx(17页珍藏版)》请在冰豆网上搜索。
图灵奖获得者修订版
历届图灵奖获得者
年度
姓名
获奖原因
所在机构
本科、硕士、博士
1966
AlanJ.Perlis
艾伦·佩利
(1990/2/7逝世)
因在程序设计和编译领域的贡献而获奖。
“使计算机科学成为独立学科的奠基人”(AfoundingfatherofComputerScienceasaseparatediscipline)
CarnegieMellonUniversity
卡内基梅隆大学
本科:
化学,CMU
硕士:
数学,Caltech
博士:
数学,MIT
1967
MauriceVincentWilkes
莫里斯·威尔克斯
世界上第一台具有内部存储程序的计算机EDSAC的研制者。
UniversityofCambridge
剑桥大学
本科:
物理,英·
剑桥·圣约翰学院
硕士、博士:
物理,英·剑桥
1968
Richard WesleyHamming
理查德·卫斯里·哈明
(1998/1/7逝世)
因在数字方法、自动编码系统和错误检测和错误纠正编码领域的杰出贡献而获奖。
BellLabs
贝尔实验室
本科:
数学,芝加哥
硕士:
数学,内布拉斯加大学
博士:
数学,UIUC
1969
MarvinLeeMinsky
马文·明斯基
因在人工智能研究领域的杰出成就而获奖。
MassachusettsInstituteofTechnology
麻省理工学院
本科:
物理,哈佛
硕士、博士:
数学,普林斯顿
1970
JamesHardyWilkinson
詹姆斯·威尔金森
因在数值分析研究领域的杰出贡献而获奖。
NationalPhysicalLaboratoryofUK
英国国家物理实验室
本科:
数学,英·
剑桥·三圣学院
1971
JohnMcCarthy
约翰·麦卡锡
因在人工智能研究方面的杰出贡献而获奖。
StanfordUniversity
斯坦福大学
本科:
数学,Caltech
硕士、博士:
数学,普林斯顿
1972
EdsgerWybeDijkstra
埃德斯加·狄克斯特拉
因最早指出“goto是有害的”以及首创结构化程序设计而获奖。
EindhovenUniversityofTechnology
埃因霍温技术大学
本科:
数学、物理,荷·莱顿大学
博士:
数学/计算机,荷·阿姆斯特丹大学
1973
CharlesW.Bachman
查尔斯·巴赫曼
因数据库技术方面的杰出贡献而获奖,网状数据库之父。
HoneywellInternationalInc.
霍尼韦尔公司
本科:
机械工程,密歇根州立大学;硕士:
宾夕法尼亚大学;MBA:
沃顿商学院
1974
DonaldErvinKnuth
唐纳德·克努特
因在算法分析和程序语言设计领域的杰出贡献而获奖,特别是其著名的“ArtofComputerProgramming”系列丛书。
StanfordUniversity
斯坦福大学
本科:
物理,Case理工学院,毕业时因成绩优异获得硕士学位
博士:
数学,Caltech
1975
AllenNewell
艾伦·纽厄尔
因在人工智能、认知科学、编目处理方面作出的基础性贡献而获奖。
CarnegieMellonUniversity
卡内基梅隆大学
本科:
物理,斯坦福
硕士:
数学,普林斯顿
博士:
数学,CMU
HerbertA.Simon
赫伯特·西蒙
本科、硕士、博士:
政治学,芝加哥
1976
MichaelOserRabin
米凯尔·拉宾
因他们合写的论文“有限自动机及其判定问题”而获奖。
TheHebrewUniversityofJerusalem
以色列希伯来大学
本科:
数学,以·莱利学院;硕士:
数学,以·希伯来大学
博士:
数学,普林斯顿
DanaS.Scott
达纳·斯科特
UniversityofOxford
牛津大学
本科:
数学,伯克利
硕士、博士:
数学,普林斯顿
1977
JohnBackus
约翰·巴克斯
FORTRAN语言和BNF范式的发明者。
IBM
本科:
数学,哥伦比亚
1978
RobertWFloyd
罗伯特·弗洛伊德
因在分析理论、程序设计语言的逻辑与语义、自动程序验证、自动程序综合、算法分析以及编译器方面的贡献而获奖。
StanfordUniversity
斯坦福大学
本科:
文学及理科,芝加哥大学
1979
KennethEugeneIverson
肯尼思·艾弗森
因其在APL程序语言和数学符号方面的先驱性的工作而获奖。
IBM
本科:
数学、物理,加·Queen’s大学
硕士、博士:
应用数学,哈佛
1980
CharlesAntonyRichardHoare(TonyHoare)
托尼·霍尔
因在程序语言定义与设计领域的基础性贡献而获奖。
UniversityofOxford
牛津大学
本科:
数学,英·牛津·莫顿学院
硕士:
数学,英·牛津
1981
EdgarFrankCodd
埃德加·科德
因在数椐库管理系统的理论和实践方面的巨大贡献而获奖,关系数据库之父。
IBM
本科、硕士:
数学,英·牛津
博士:
计算机与通信,密歇根大学
1982
StephenArthurCook
斯蒂芬·库克
因在计算复杂性理论方面的卓越贡献而获奖。
UniversityofToronto
加拿大多伦多大学
本科:
科学工程,密歇根大学
硕士:
理科,哈佛
博士:
数学,哈佛
1983
DennisMacAlistairRitchie
丹尼斯·里奇
C语言和Unix操作系统的发明者。
BellLabs
贝尔实验室
本科:
物理,哈佛
博士:
应用数学,哈佛(未获学位)
KennethLaneThompson
肯尼思·汤普森
本科、硕士:
电气工程,伯克利
1984
NiklausWirth
尼克劳斯·沃思
因开发了EULER、ALGOL-W、MODULA和PASCAL等一系列程序设计语言,以及提出结构化程序设计这一革命性概念而获奖。
ETHZürich
苏黎世联邦理工学院
本科:
电气工程,ETH
硕士:
电气工程,加·Laval大学
博士:
计算机,伯克利
1985
RichardM.Karp
理查德·卡普
因算法理论方面的贡献而获奖。
UniversityofCalifornia,Berkeley
加州大学伯克利分校
本科:
文学,哈佛
硕士:
理科,哈佛
博士:
应用数学,哈佛
1986
JohnE.Hopcroft
约翰·霍普克罗夫特
因在数据结构和算法设计与分析领域的基础性贡献而获奖。
CornellUniversity
康乃尔大学
本科:
电气工程,西雅图大学;硕士、博士:
电气工程,斯坦福
RobertE.Tarjan
罗伯特·陶尔扬
PrincetonUniversity
普林斯顿大学
本科:
数学,Caltech
硕士、博士:
计算机,斯坦福。
导师Knuth
1987
JohnCocke
约翰·科克
因在编译、高性能计算机体系结构以及RISC的开发等方面的重要贡献而获奖。
IBM
本科:
机械工程,Duke大学
硕士、博士:
数学,Duke大学
1988
IvanEdwardSutherland
伊万·萨瑟兰
因在计算机图形学领域的杰出贡献而获奖。
SunMicrosystems,Inc.
本科:
电气工程,CMU
硕士:
电气工程,Caltech
博士:
计算机,MIT
1989
WilliamKahan
威廉·卡亨
因在数值分析领域基础性的贡献而获奖。
UniversityofCalifornia,Berkeley
加州大学伯克利分校
本科、硕士、博士:
数学,加·Toronto大学
1990
FernandoJoséCorbató
费尔南多·考巴脱
因在开发第一个分时系统CTSS以及Multics操作系统方面的先驱性贡献而获奖。
MassachusettsInstituteofTechnology
麻省理工学院
本科:
物理,Caltech
硕士、博士:
物理,MIT
1991
RobinMilner
罗宾·米尔纳
因三个领域的杰出成就而获奖:
1)形式化逻辑系统的一个数学模型LCF,2)多态类型的元语言ML,3)CCS,一个并发系统的综合理论。
TheUniversityofEdinburgh
爱丁堡大学
本科:
数学,英·剑桥·埃顿学院、国王学院
1992
ButlerW.Lampson
巴特勒·兰普森
因在分布式计算环境、个人计算环境的发展和实现技术上的贡献而获奖,其中包括:
工作站,网络,操作系统,程序语言,显示,安全和文档排版处理等。
DigitalEquipmentCorporation
DEC公司(1998年被康柏收购,2001年与惠普合并)
本科:
文学,哈佛
硕士、博士:
理工,
伯克利
1993
JurisHartmanis
尤里斯·哈特马尼斯
计算复杂性理论的主要奠基人。
CornellUniversity
康乃尔大学
本科:
物理,德Marburg大学
硕士:
数学,UMKC
博士:
数学,Caltech
RichardEdwinStearns
理查德·斯特恩斯
UniversityatAlbany,StateUniversityofNewYork
纽约州立大学奥尔巴尼分校
本科:
数学,Carlton学院
硕士、博士:
数学,普林斯顿
1994
EdwardFeigenbaum
爱德华·费根鲍姆
因在大型人工智能系统领域的先驱性的贡献而获奖。
StanfordUniversity
斯坦福大学
本科、硕士、博士:
电气工程,CMU
RajReddy
劳伊·雷迪
CarnegieMellonUniversity
卡内基梅隆大学
本科:
印度
硕士:
澳·新南威尔士
博士:
计算机,斯坦福
1995
ManuelBlum
曼纽尔·布卢姆
因在计算复杂性理论、密码系统和程序验证方面的卓越贡献而获奖。
UniversityofCalifornia,Berkeley
加州大学伯克利分校
本科
硕士
博士:
数学,MIT
受过M.O.Rabin教诲
1996
AmirPnueli
阿米尔·伯努利
因把时序逻辑引入计算机科学的开创性工作,和在编程语言和系统验证方面的突出贡献而获奖。
WeizmannInstituteofScience
以色列魏茨曼科学研究所
本科、硕士、博士:
数学,以·魏茨曼学院
1997
DouglasEngelbart
道格拉斯·恩格尔巴特
因提出交互式计算领域的卓越贡献而获奖,鼠标器的发明者和超文本研究的先驱。
BootstrapInstitute
本科:
电气工程,Oregon州立大
硕士、博士:
电气工程/计算机,伯克利
1998
Jim(James)N.Gray
詹姆士·格雷
因在数据库和事务处理研究领域的突出贡献而获奖。
MicrosoftCorporation
微软
本科
硕士
博士:
计算机,伯克利
1999
FrederickP.Brooks
弗雷德里克·布鲁克斯
因在计算机体系结构,操作系统和
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 图灵奖 获得者 修订版