被喻为计算机界的诺贝尔奖——TurinSAC
项目github地址:bitcarmanlee easy-algorithm-interview-and-practice 欢迎大家star,留言,一起学习进步
Turing奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人,而这些贡献必须对计算机科学与技术有长远而重要的影响。1966年,A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人,美国计算机协会将组成评选委员会对被提名者进行严格的审核,并最终确定当年的获奖者。
年份 | 姓名 | 贡献领域 |
---|---|---|
1966年 | 艾伦·佩利 | 高级程序设计技巧,编译器构造 |
1967年 | 莫里斯·威尔克斯 | 存储过程式计算机EDSAC,EDSAC 2,程序库 |
1968年 | 理查德·卫斯里·汉明 | 数值方法,自动编码系统,错误检测和纠错码 |
1969年 | 马文·闵斯基 | 人工智能 |
1970年 | 詹姆斯·维尔金森 | 数值分析,线性代数,倒退错误分析 |
1971年 | 约翰·麦卡锡 | 人工智能 |
1972年 | 艾兹格·迪科斯彻 | 程序设计语言的科学与艺术 |
1973年 | 查理士·巴赫曼 | 数据库技术 |
1974年 | 高德纳 | 算法分析、程序设计语言的设计、程序设计 |
1975年 | 艾伦·纽厄尔 | 人工智能,人类认知心理学和列表处理(list processing) |
赫伯特·西蒙 | ||
1976年 | 迈克尔·拉宾 | 非确定性自动机 |
达纳·斯科特 | ||
1977年 | 约翰·巴克斯 | 高级编程系统,程序设计语言规范的形式化定义 |
1978年 | 罗伯特·弗洛伊德 | 设计高效可靠软件的方法学 |
1979年 | 肯尼斯·艾佛森 | 程序设计语言和数学符号,互动系统的设计,运用APL进行教学,程序设计语言的理论与实践 |
1980年 | 东尼·霍尔 | 程序设计语言的定义与设计 |
1981年 | 埃德加·科德 | 数据库系统,尤其是关系型数据库 |
1982年 | 史提芬·古克 | 计算复杂度 |
1983年 | 肯·汤普逊 | UNIX操作系统和C语言 |
丹尼斯·里奇 | ||
1984年 | 尼克劳斯·维尔特 | 程序设计语言设计、程序设计 |
1985年 | 理查德·卡普 | 算法理论,尤其是NP-完全性理论 |
1986年 | 约翰·霍普克洛夫特 | 算法和数据结构的设计与分析 |
罗伯特·塔扬 | ||
1987年 | 约翰·科克 | 编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发 |
1988年 | 伊凡·苏泽兰 | 计算机图形学 |
1989年 | 威廉·卡韩 | 数值分析 |
1990年 | 费尔南多·考巴托 | CTSS和Multics |
1991年 | 罗宾·米尔纳 | LCF,ML语言,CCS |
1992年 | 巴特勒·兰普森 | 分布式,个人计算环境 |
1993年 | 尤里斯·哈特马尼斯 | 计算复杂度理论 |
理查德·斯特恩斯 | ||
1994年 | 爱德华·费根鲍姆 | 大规模人工智能系统 |
拉吉·瑞迪 | ||
1995年 | 曼纽尔·布卢姆 | 计算复杂度理论,及其在密码学和程序校验上的应用 |
1996年 | 阿米尔·伯努利 | 时序逻辑,程序与系统验证 |
1997年 | 道格拉斯·恩格尔巴特 | 互动计算 |
1998年 | 詹姆斯·尼古拉·格雷 | 数据库与事务处理 |
1999年 | 弗雷德里克·布鲁克斯 | 计算机体系结构,操作系统,软件工程 |
2000年 | 姚期智[4] | 计算理论,包括伪随机数生成,密码学与通信复杂度 |
2001年 | 奥利-约翰·达尔 | 面向对象编程 |
克利斯登·奈加特 | ||
2002年 | 罗纳德·李维斯特 | 公钥密码学(RSA加密算法) |
阿迪·萨莫尔 | ||
伦纳德·阿德曼 | ||
2003年 | 艾伦·凯 | 面向对象编程 |
2004年 | 文特·瑟夫 | TCP/IP协议 |
罗伯特·卡恩 | ||
2005年 | 彼得·诺尔 | Algol 60语言 |
2006年 | 法兰西斯·艾伦 | 优化编译器 |
2007年 [5] | 爱德蒙·克拉克 | 开发自动化方法检测计算机硬件和软件中的设计错误 |
艾伦·爱默生 | ||
约瑟夫·斯发基斯 | ||
2008年 | 芭芭拉·利斯科夫 | 编程语言和系统设计的实践与理论 |
2009年 | 查尔斯·萨克尔 | 帮助设计、制造第一款现代PC |
2010年 | 莱斯利·瓦伦特 | 对众多计算理论所做的变革性的贡献 |
2011年 | 朱迪亚·珀尔 | 通过概率论和因果推理(英语:Causal reasoning)对人工智能领域作出的根本性贡献 |
2012年 | 莎菲·戈德瓦塞尔 | 在密码科学领域里,于复杂理论的基础之上,做出变革性工作;并领先发展出新的具有数学可证明性的有效验证机制[6] |
希尔维奥·米卡利 | ||
2013年 | 莱斯利·兰波特 | 对于分布式及并形系统的理论与实践具有基础性贡献,尤其是诸如因果逻辑时序(causality and logical clocks)、安全性与存活度(safety and liveness)、复制状态机(replicated state machines)及循序一致性(英语:sequential consistency)(sequential consistency)等理论概念的发明[7] |
2014年 | 迈克尔·斯通布雷克 | 对现代数据库的概念和实践作出的根本性贡献 |
2015年 | 惠特菲尔德·迪菲 | 发明迪菲-赫尔曼密钥交换,对公开密钥加密技术有重大贡献[8]。 |
马丁·赫尔曼 |
1966 A. J. Perlis因在新一代编程技术和编译架构方面的贡献而获奖 1967 Maurice V. Wilkes因设计出第一台具有内置存储程序的计算机而获奖 1968 Richard W. Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖 1969 Marvin Minsky 因对人工智能的贡献被授予图灵奖 1970 J. H. Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖 1971 John McCarthy因对人工智能的贡献被授予图灵奖 1972 Edsger W. Dijkstra因在编程语言方面的出众表现而获奖 1973 Charles W. Bachman因在数据库方面的杰出贡献而获奖 1974 Donald E. Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖 1975 Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖 1976 Michael O. Robin和Dana S. Scott因他们的论文"有限自动机与它们的决策问题"中所提出的非确定性机器这一很有价值的概念而获奖 1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获奖 1978 Robert W. F编程的算法方面的深远影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖 1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖 1980 C. Anthony R. Hoare因对程序设计语言的定义和设计所做的贡献而获奖 1981 Edgar F. Codd因在数据库管理系统的理论和实践方面的贡献而获 1982 Steven A. Cook因奠定了NP-Completeness理论的基础而获奖 1983 Ken Thompson和Dennis M. Ritchie因在通用操作系统理论方面的突出贡献, 特别是对UNIX操作系统的推广的贡献而获奖 1984 Niklaus Wirth因开发了EULER, ALGOL-W, MODULA和PASCAL一系列崭新的计算语言而获奖 1985 Richard M. Karp因对算法理论的贡献而获奖 1986 John E. Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖 1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖 1988 Ivan E. Sutherland因在计算机图形学方面的贡献而获奖 1989 William V.Kahan因在数值分析方面的贡献而获奖 1990 Fernando J.Corbato因在开发大型多功能,可实现时间和资源共享的计算系统,如CTSS和Multics方面的贡献而获奖 1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖 1992 Butler Lampson因在个人分布式计算机系统方面的贡献而获奖 1993 Jurlis Hartmanis和Richard E. Stearns因奠定了计算复杂性理论的基础而获奖 1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖 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 由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中 2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman 由于在公共密钥理论和实践方面的基础性工作而获奖 2003 Alan Kay 由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。至理名言:预测未来的最好方法是创造它 2004 Vinton G. Cerf, Robert E. Kahn 由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导 2005 Naur Peter 因他在设计Algol 60语言于其定义的清晰性,Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式,其中的“N”便是来自Peter Naur的名字 2006 Frances E. Allen因其在编译器优化理论和实践方面做出的开创性贡献而获奖。Allen是该奖项创立40年来的第一位女性得主。 2007 Edmund M. Clarke,Allen Emerson和Joseph Sifakis因为“在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献”而荣获该奖 2008 Barbara Liskov因在计算机软件更加可靠、安全和更具一致性方面的贡献而获奖。她也成为历史上第二位获得图灵奖的女性 2009 Chuck Thacker以表彰他对第一台现代个人计算机——施乐帕克(Xerox PARC)Alto的先驱性设计,以及在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的杰出成就与贡献。他是以太局域网的发明者之一,也是世界是第一台激光打印机发明者之一 2010 Leslie G. Valiant因对众多的计算理论,包括PAC学习、枚举复杂性和代数计算和并行与分布式计算所做的变革性的贡献而获奖 2011 Judea Pearl因在人工智能领域的基础性工作获奖,他提出的概率和因果性推理演算法,彻底改变了人工智能当初基于规则和推理的方向
(资料图)
TURING奖获得者分类(1966–2010)
硬件 Maurice V. Wilkes (1967) ——第一台具有内部存储程序的计算机EDSAC John Cocke (1987) —— RISC & 编译优化 Vinton Gray Cerf (2004) —— Internet基础通讯协议 Chuck Thacke(2009)—— 局域网 Frances E. Allen(2006)—— 编译器优化理论 Edmund M. Clarke,Allen Emerson和Joseph Sifakis(2007)——模型验证
程序语言设计与实现 Alan J. Perlis (1966) ——ALGOL John McCarthy (1971) —— LISP Edsger Wybe Dijkstra (1972) —— ALGOL John W. Backus (1977) —— FORTRAN Kenneth Eugene Iverson (1979) ——APL程序语言 Niklaus Wirth (1984) —— PASCAL John Cocke (1987) ——RISC & 编译优化 Ole-Johan Dahl,Kristen Nygaard (2001) —— Simula语言和面向对象概念 (获奖前30年) Alan Kay(2003) ——SmallTalk语言和面向对象程序设计 Peter Naur(2005) —— ALGOL60以及编译设计 Barbara Liskov(2008) ——数据抽象与分布式计算 Edmund M. Clarke,Allen Emerson和Joseph Sifakis(2007)——模型验证
算法 Richard Hamming (1968) —— 汉明码 James Hardy Wilkinson (1970) —— 数值分析 Donald E. Knuth —— art of computer programming John E. Hopcroft,Robert Endre. Tarjan (1986) ——数据结构和算法设计 William (Velvel) Morton Kahan (1989) —— 浮点运算IEEE标准主要设计师 Andrew Chi-Chih Yao (姚期智) (2000) ——伪随机数复杂性,密码系统和通讯复杂性 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公钥密码技术
自动机和可计算性 Dana Stewart Scott (1976) —— 自动机 Michael Oser Rabin (1976) ——自动机 Stephen Arthur Cook (1982) —— NP完全性 Richard Manning Karp (1985) —— 证明一个问题是否是属于NP完全 Juris Hartmanis,Richard Edwin Stearns (1993) —— 计算复杂性 Manuel Blum (1995) —— 计算复杂性,密码系统和程序检查验证 Leslie G. Valiant(2010)——计算复杂性
人工智能 Marvin Lee Minsky (1969) —— 神经元网络 John McCarthy (1971) —— LISP Allen Newell,Herbert Simon (1975) —— Logic Theory Machine Raj Reddy,Edward Feigenbaum(1994) ——专家系统 Leslie G. Valiant(2010)——机器学习 Judea Pearl(2011)—— 概率和因果性推理演算法
操作系统 Dennis MacAlistair Ritchie,Ken Thompson (1983) —— UNIX Fernando Jose Corbato (1990) ——分时系统 Frederick P. Brooks(1999) —— IBM System360 操作系统
数据库 Charles W. Bachman (1973) —— 数据库 Edgar Frank Codd (1981) ——关系数据模型 James Gray(1998) —— 数据库和事务处理
图像处理和交互式系统 Ivan Edward Sutherland (1988) ——图像处理,CAD Douglas Engelbart(1998) —— 交互式系统,鼠标发明人
程序语言语义 Dana Stewart Scott (1976) ——自动机 Robert W. Floyd (1978) —— 编程语言语义,自动程序验证 C. Antony R. Hoare (1980) —— Hoare Logic, CSP Robin Milner (1991) —— LCF,ML,CCS,PI-calculus Amir Pnueli (1996) —— 时序逻辑和系统验证
标签: 人工智能
相关推荐:
最新新闻:
- 热消息:全球最权威的学术期刊之一——《科学》
- 世界播报:抽象是什么?为什么学Java会遇到抽象?
- 环球观察:UCB1策略和公式的理解 解决探索与利用平衡问题
- java的序列化机制是什么?java序列化ID的作用:世界热闻
- rolling(k)函数的用法详解 例子说明rolling函数的用法
- 天天时讯:cdn加速测试:又拍云每个月免费提供15g流量
- 当前头条:堆与栈有什么区别?堆与栈的区别详细总结
- 什么是数据库索引?MySQL官方对索引的定义及索引优劣势分析:每日速读
- 微信支付如何关闭“自动扣费”?关闭微信自动扣费的方法步骤 全球报资讯
- Glance详解——后台运行的服务程序
- 被喻为计算机界的诺贝尔奖——TurinSAC
- 世界信息:程序、进程和线程——多线程的创建方法
- 观速讯丨数字解谜游戏——数独直观法解题技巧
- 从高层到底层所有人的战略语言——BLD
- (java8)遍历JSONArray拼接字符串的两种方法|天天最资讯
- 与熊论道为什么解码不了?“熊”孩子都有哪些表现?_世界快看点
- 英国女子号称“现实版睡美人” 每天昏睡22小时
- 环球速递!《神领编年史》新更新上线 SE移除D加密技术
- 2023年2月PS5在英国的销量暴涨316%
- 全球消息!《死亡细胞》重返恶魔城DLC发布上市预告
- 北京最新天气预报:今天最高气温19℃,大气扩散条件和能见度较差
- Arkane确认所有版本《红霞岛》支持跨平台联机
- 太便宜了!精粤B760M主板仅需399元
- 天天微头条丨只能用功能机 司法部要求FTX创始人保释期间不能用智能手机
- 续航50短通勤 五星钻豹电动车1299元:全球热头条
- 索尼克之父中裕司认罪!承认内幕交易
- 环球视讯!微软Win11开始重新设计混音器
- 人民币是什么材料做的|即时看
- 《最终幻想16》不是基于夜光或虚幻引擎运行
- 全球讯息:《破坏领主》3月15日登陆主机 Endgame更新同时发布
- 《宝可梦:朱/紫》1.2更新后部分玩家存档被删除:环球要闻
- Wii U用户重创:任天堂下架马里奥赛车和斯普拉遁
- 烧白做法_烧白如何做
- 国外团队开发出突破性隐形眼镜 可防干眼症 速递
- 热消息:《忍者神龟:变种大乱斗》首曝中字预告 “龟”来依旧是少年
- 红楼梦十二金钗判词|环球热闻
- 当前热讯:男子用微缩模型还原高启强老家:做了11天 约400个配件
- 戴尔推出AW620M无线鼠标 DPI最高26000
- 焦点热议:百威亚太(01876):高端啤酒龙头国内市场“遇冷记”
- 外媒锐评《自杀小队》服务模式:都想学《命运》?
- 《大航海时代:起源》现已在Steam免费发售 支持中文配音
- 《古墓丽影》重启作发售10周年纪念 官方发文庆贺 新视野
- 修培刻灵“蕉仙素”是非药物疗法与现代生物科技的结晶
- 澳大利亚将对猫咪实行“宵禁” 逃跑出门或被处决
- 华语悬疑剧《模仿犯》新预告:3.31网飞独家上线:环球聚看点
- 一本院校回应招聘会有洗碗工岗位 不只面向学生
- 小米MIUI 14迎来最新升级!MIUI相机史诗级更新(附刷机包下载)
- 电视剧山河令演员表|环球观点
- 【当前热闻】荣耀发布四款MagicBook笔记本,主要特点一览
- 看片太爽了!极空间 Z4s NAS 售价新低:2899元
- 每日热文:CDPR发布《巫师3:狂猎》萝卜介绍 网友:不是叫葡萄吗
- 《美生中国人》制作花絮:杨紫琼、吴彦祖玩转校园_当前最新
- 《龙珠斗士Z》官方宣布仍将调整平衡性 新更新稍后实施:环球速递
- 新资讯:《火焰纹章:结合》DLC第三弹纹章士介绍影片公开
- 每日讯息!Furyu ARPG新作《恸哭机巧》OP动画公开
- 全球今头条!荣耀 MagicBook X 14/16 Pro 笔记本发布:4299 元起,13 代酷睿
- 环球热讯:京东百亿补贴正确打开方式轻松get 飞利浦小旋风空气炸锅只要349元
- 京东「百亿补贴」上线,红米K50至尊顶配低至2949元
- 抄底价!小米Redmi K50 Ultra 12+256G仅2619元|环球头条
- 折叠屏手机首次出货量下滑,同比下降 26%
- 饭制虚幻5《GTA:圣安地列斯》重制版预告:CJ前面跑 飞机后头追
- 雷军:小米造车进展超预期 预计明年上半年量产_世界球精选
- 环球热点!《如龙 维新·极》制作人采访:焕然一新的游戏体验!
- 传闻:《GTA6》2024年底推出 本体或削减内容用DLC补齐-看热讯
- 卧龙苍天陨落天柱派钥匙在哪?卧龙苍天陨落道士家的后院钥匙位置_今日热闻
- 5秒学会用抖音 但当代年轻人已不会用打印机甚至电脑:时代真变了
- “雷锋精神”在警营 伊春公安将爱“钉”入百姓家:天天快资讯
- 世界滚动:三微边设计!小米27英寸2K IPS显示器低至749元
- 环球精选!超大超爽!12G+512G旗舰机2149元
- 焦点关注:春季行情!苏宁易购举办专场供应商沟通会
- 直降500元!铭瑄MS-RTX4080 iCraft OC16G瑷珈独立显卡
- 每日快报!12代酷睿四核神U加持!天钡N-box迷你主机低至898元
- 游戏改编《龙与地下城》新预告:宝箱怪、噬脑怪亮相:今日最新
- 座位螺栓没拧紧!特斯拉在美召回3470辆汽车|焦点热闻
- 《怪物猎人崛起:曙光》推出冥渊龙和混沌黑蚀龙Q版毛绒玩具 售价196元
- 《卧龙:苍天陨落》PS5性能分析 身临其境般的体验_当前通讯
- 航空航天
- 33万买奥迪A7L 内部福利普通人别想:世界观热点
- 2022年全球光伏组件出货量top10!黑马“大明光福”首次入选_全球头条
- 京东百亿补贴3月6日全面上线 海信高清电视仅售755元
- 【环球速看料】京东百亿补贴全面上线:4899元买iPhone 14
- 焦点关注:国产游戏显卡直降1100元:已支持42款游戏
- 举义旗迎国货,一科技公司发起反ChatGPT号召
- 全球消息!《最后生还者》第八集IGN 9分:绝望使人坠入深渊
- 致敬经典 粉丝打造《最终幻想6》2D-HD重制版