`
txf2004
  • 浏览: 7081286 次
  • 性别: Icon_minigender_1
  • 来自: 上海
社区版块
存档分类
最新评论

【From Hailer】历届图灵奖获得者最新名单

阅读更多

图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.

历届图灵奖获得者名单:

1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
因在新一代编程技术和编译架构方面的贡献而获奖.

1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因设计出第一台程序实现完全内存的计算机而获奖.

1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.

1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因对人工智能的贡献被授予图灵奖.

1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London
因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.

1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因对人工智能的贡献被授予图灵奖.

1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在编程语言方面的出众表现而获奖.

1973 Charles W. Bachman --- staff, Honeywell
因在数据库方面的杰出贡献而获奖.

1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.

1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
Dana S. Scott --- PhD, Princeton; Prof, CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.

1977 John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.

1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.

1979 Kenneth E. Iverson
因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.

1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因对程序设计语言的定义和设计所做的贡献而获奖.

1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在数椐库管理系统的理论和实践方面的贡献而获奖.

1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理论的基础而获奖.

1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs
Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在类属操作系统理论,特别是UNIX操作系统的推广而获奖.

1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因开发了EULER ALGOL-W MODULAPASCAL一系列崭新的计算语言而获奖.

1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因对算法理论的贡献而获奖.

1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.

1987 John Cocke --- staff, IBM
因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.

1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在计算机图形学方面的贡献而获奖.

1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在数值分析方面的贡献而获奖,他是是浮点计算领域的专家.

1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在开发大型多功能、可实现时间和资源共享的计算系统,如CTSSMultics方面的贡献而获奖.

1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可计算的函数的逻辑(LCF)ML和并行理论(CCS)这三个方面的贡献而获奖.

1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在个人分布式计算机系统(包括操作系统)方面的贡献而获奖.

1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell
Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了计算复杂性理论的基础而获奖.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU
Edward Feigenbaum (PhD, CMU; Prof, Stanford)
因对大型人工智能系统的开拓性研究而获奖.

1995 Manuel Blum --- PhD, MIT; Prof, Berkeley
因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.

1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU
因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.

1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI
因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.

1998 James Gray --- PhD, Berkeley; staff, Microsoft
因在数据库和事务处理方面的突出贡献而获奖.

1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC
因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.

2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at
清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲)

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他们在设计编程语言SIMULA I SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.

2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; Weizmann
Leonard M. Adelman: PhD, Berkeley; USC
因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).

2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)
因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.

2004 Vinton G. CerfRobert E. Kahn
获奖原因:由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。
分享到:
评论

相关推荐

    采用s函数编写的永磁同步电机矢量控制双闭环PMSM控制模型,利用matlab simulink搭建,可修改参数,增减负载均能恢复参考值正常运行

    采用s函数编写的永磁同步电机矢量控制双闭环PMSM控制模型,利用matlab simulink搭建,可修改参数,增减负载均能恢复参考值正常运行。

    微博热搜数据可视化分析系统技术框架python + flask web + mysql

    ===如资源质量问题,可半价退款,代下全网资源,价格公道==== 微博热搜数据可视化分析系统 技术框架 python + flask web + mysql 角色介绍 管理员 admin 123456 模块分析 可视化模块 趋势模块(折线图) 热搜模块(云词图) 分析模块 情感分析模块 (因为舆情分析包含了情感分析我们为了区分两者的区别在舆情模块中包含了中文分词jiba功能) 影响分析模块 (影响分析我们根据数据库中的数据来分析,主要做两部获取数据库中最大的热度标题,jiba分词获取出现频率最大的热搜,和最小的热搜) 舆情分析模块 (单独的使用snow就行因为舆情分析包含了情感分析) 学院模块 邮箱模块 (在学院模块中如果舆情值低于0.3发送邮箱到指定的邮箱中) 爬虫模块 (页面上有一个爬虫按钮,当用户点击以后它爬出一次热搜的数据并添加到数据库中) 学院模块 (爬虫专门爬虫学校贴吧信息,然后如果舆情值低于多少使用邮箱通知管理员) 密码重置模块 数据库WBAnalysis。内容来源于网络分享,如有侵权请联系我删除。另外如果没有积分的同学需要下载,请私信我。

    引体向上和俯卧撑的自动感知计数原理

    引体向上和俯卧撑的自动感知计数原理

    springboot263校园组团平台.zip

    springboot263校园组团平台

    springboot+vue的桂林旅游网站系统-1e9t9f02.zip

    springboot+vue的桂林旅游网站系统_1e9t9f02.zip

    Scrapy是一个用于Python的快速高级网页抓取框架.zip

    python

    springboot239华府便利店信息管理系统.zip

    springboot239华府便利店信息管理系统

    springboot180基于spring boot的医院挂号就诊系统.zip

    1、资源项目源码均已通过严格测试验证,保证能够正常运行; 2、项目问题、技术讨论,可以给博主私信或留言,博主看到后会第一时间与您进行沟通; 3、本项目比较适合计算机领域相关的毕业设计课题、课程作业等使用,尤其对于人工智能、计算机科学与技术等相关专业,更为适合; 4、下载使用后,可先查看README.md或论文文件(如有),本项目仅用作交流学习参考,请切勿用于商业用途。 5、资源来自互联网采集,如有侵权,私聊博主删除。 6、可私信博主看论文后选择购买源代码。

    T型逆变器仿真(SPWM)Matlab2021a 加设LCL滤波器,三相负载为纯阻性, 采用SPWM,正弦波作为调制波 逆变器输出线电压为五电平波形,滤波后电压电流为对称三相电

    T型逆变器仿真(SPWM)Matlab2021a 加设LCL滤波器,三相负载为纯阻性, 采用SPWM,正弦波作为调制波。 逆变器输出线电压为五电平波形,滤波后电压电流为对称三相电。

    springboot115城镇保障性住房管理系统.zip

    1、资源项目源码均已通过严格测试验证,保证能够正常运行; 2、项目问题、技术讨论,可以给博主私信或留言,博主看到后会第一时间与您进行沟通; 3、本项目比较适合计算机领域相关的毕业设计课题、课程作业等使用,尤其对于人工智能、计算机科学与技术等相关专业,更为适合; 4、下载使用后,可先查看README.md或论文文件(如有),本项目仅用作交流学习参考,请切勿用于商业用途。 5、资源来自互联网采集,如有侵权,私聊博主删除。 6、可私信博主看论文后选择购买源代码。

    springboot298计算机学院校友网.zip

    1、资源项目源码均已通过严格测试验证,保证能够正常运行; 2、项目问题、技术讨论,可以给博主私信或留言,博主看到后会第一时间与您进行沟通; 3、本项目比较适合计算机领域相关的毕业设计课题、课程作业等使用,尤其对于人工智能、计算机科学与技术等相关专业,更为适合; 4、下载使用后,可先查看README.md或论文文件(如有),本项目仅用作交流学习参考,请切勿用于商业用途。 5、资源来自互联网采集,如有侵权,私聊博主删除。 6、可私信博主看论文后选择购买源代码。

    Vim pythonmode PyLint绳Pydoc断点从框.zip

    python

    springboot237毕业设计成绩管理系统的设计与实现.zip

    springboot237毕业设计成绩管理系统的设计与实现

    基于Activiti的低代码办公平台设计与开发:实现流程与表单自动化管理

    内容概要:本文介绍了一个基于 Activiti 流程引擎的低代码办公平台的设计与开发。该平台由低代码设计模块和基本信息模块组成,支持线上创建业务对象、表单、数据对象和流程模型等,利用 DDL语言进行数据库操作、Activiti 进行流程管理,前端使用 Bpmn-js 和 Vue.js 开发,表单和数据对象通过 JSON 存储和 Vue 的 Element UI 回显。基本信息模块则涵盖了权限管理和系统管理。测试结果显示平台功能完整,设计简便易用。 适合人群:适合中小型企业的技术人员、管理人员和其他参与办公流程设计与实施的相关人员。 使用场景及目标:平台旨在减少开发投入,降低对专业开发人才的依赖。主要适用于企业内部审批、业务流程自动化等领域,帮助优化业务流程管理,提高办公效率。 其他说明:本文展示了基于Activiti低代码办公平台的具体应用场景和技术实现细节。关键技术点涉及 Activiti 工作流、Vue.js 前端框架和 MySQL 数据库管理系统,为开发类似办公系统提供了有价值的参考和借鉴。

    springboot219基于SpringBoot的网络海鲜市场系统的设计与实现.zip

    springboot219基于SpringBoot的网络海鲜市场系统的设计与实现

    springboot112基于Spring Boot技术的卓越导师双选系统设计与实现.zip

    1、资源项目源码均已通过严格测试验证,保证能够正常运行; 2、项目问题、技术讨论,可以给博主私信或留言,博主看到后会第一时间与您进行沟通; 3、本项目比较适合计算机领域相关的毕业设计课题、课程作业等使用,尤其对于人工智能、计算机科学与技术等相关专业,更为适合; 4、下载使用后,可先查看README.md或论文文件(如有),本项目仅用作交流学习参考,请切勿用于商业用途。 5、资源来自互联网采集,如有侵权,私聊博主删除。 6、可私信博主看论文后选择购买源代码。

    自动驾驶车道保持LKA,基于LQR算法,carsim与simulink联合仿真,包括说明书及LQR的推导过程(每一步怎么做的)

    自动驾驶车道保持LKA,基于LQR算法,carsim与simulink联合仿真,包括说明书及LQR的推导过程(每一步怎么做的)

    Python中的概率时间序列建模.zip

    python

    springboot120企业级工位管理系统.zip

    1、资源项目源码均已通过严格测试验证,保证能够正常运行; 2、项目问题、技术讨论,可以给博主私信或留言,博主看到后会第一时间与您进行沟通; 3、本项目比较适合计算机领域相关的毕业设计课题、课程作业等使用,尤其对于人工智能、计算机科学与技术等相关专业,更为适合; 4、下载使用后,可先查看README.md或论文文件(如有),本项目仅用作交流学习参考,请切勿用于商业用途。 5、资源来自互联网采集,如有侵权,私聊博主删除。 6、可私信博主看论文后选择购买源代码。

    BES秃鹰优化算法结合GRU做多特征输入单个因变量输出的拟合预测模型 程序注释详细直接替数据可以用 程序语言为matlab,最低版本要求2020及以上

    BES秃鹰优化算法结合GRU做多特征输入单个因变量输出的拟合预测模型。 程序注释详细直接替数据可以用。 程序语言为matlab,最低版本要求2020及以上。

Global site tag (gtag.js) - Google Analytics