图灵奖
计算机科学奖
验证引用
虽然已尽一切努力遵循引用风格规则,但可能会有一些差异。如果您有任何问题,请参考相应的样式手册或其他资料。
选择引用格式
反馈
谢谢您的反馈
我们的编辑将审阅你所提交的内容,并决定是否修改文章。
外部网站
图灵奖,全文点图灵奖,每年由计算机协会(ACM),成立于1947年的专业计算协会,授予一个或多个“为计算社区做出技术性质贡献”的个人。图灵奖通常被称为计算机科学相当于诺贝尔奖.
图灵奖是以艾伦·麦吉森·图灵是英国计算机领域的先驱人工智能.1966年,该奖项的第一位获得者是艾伦·j·佩利斯他是美国计算机科学家编译器为大陵五计算机程序设计语言.第一位获得该奖的女性是弗朗西斯·e·艾伦2006年,她在编译器优化方面的工作,为并行执行的发展做出了贡献多处理.最年轻的获奖者是Donald Knuth1974年,36岁的他因在研究上的贡献而获奖算法还有计算机编程。年龄最大的接受者是阿尔弗雷德·瓦伊诺·阿霍(Alfred Vaino Aho),他因在算法和编程语言实现理论方面的工作而在2020年获得该奖项,享年79岁。
yabo亚博网站首页手机大英百科全书测验
电脑及科技测验
英特尔公司在2002年和2007年开始资助图灵奖谷歌(goog . o:行情)。共同资助该奖项。当年奖金提高到25万美元,2014年又提高到100万美元。
图灵奖得主名单载于表格
一年 | 的名字 | 国籍 | 成就领域 |
---|---|---|---|
1966 | 艾伦·佩利斯; | 美国 | 编译器为ALGOL编程语言 |
1967 | 威尔克斯,莫里斯·V。 | 英国 | EDSAC,第一台存储程序计算机 |
1968 | 理查德·W·汉明 | 美国 | 用于错误检测和错误修正的汉明码 |
1969 | 马文·明斯基; | 美国 | 人工智能 |
1970 | 詹姆斯·H·威尔金森; | 英国 | 超级计算机的数值分析 |
1971 | 约翰·麦卡锡 | 美国 | 人工智能 |
1972 | Dijkstra, Edsger W。 | 荷兰 | 编程语言,包括ALGOL |
1973 | 查尔斯·巴赫曼。 | 美国 | 数据库技术 |
1974 | 唐纳德·克努斯; | 美国 | 计算机算法和编程语言 |
1975 | 纽厄尔,艾伦 | 美国 | 人工智能 |
1975 | 西蒙,赫伯特A。 | 美国 | 人工智能 |
1976 | 拉宾,迈克尔O。 | 德国 | 不确定的机器 |
1976 | 史考特,戴娜。 | 美国 | 不确定的机器 |
1977 | 约翰·巴克斯 | 美国 | 编程语言,包括FORTRAN |
1978 | 罗伯特·W·弗洛伊德 | 美国 | 编程语言,包括自动程序验证 |
1979 | 艾弗森,肯尼斯E。 | 加拿大 | 编程语言,包括APL |
1980 | 霍尔,C.安东尼。 | 英国 | 编程语言 |
1981 | 埃德加·科德 | 英国 | 编程语言 |
1982 | 斯蒂芬·库克 | 美国 | np完全问题理论 |
1983 | 里奇,丹尼斯M。 | 美国 | 操作系统,包括UNIX |
1983 | Kenneth L. Thompson著。 | 美国 | 操作系统,包括UNIX |
1984 | 沃斯,尼克劳斯E。 | 瑞士 | 编程语言,包括PASCAL |
1985 | 理查德·M·卡普 | 美国 | 算法理论和np完全问题的研究 |
1986 | 约翰·霍普罗夫特; | 美国 | 算法和数据结构 |
1986 | 罗伯特? | 美国 | 算法和数据结构 |
1987 | Cocke,约翰 | 美国 | 编译器和微处理器 |
1988 | 萨瑟兰,伊万 | 美国 | 计算机图形学 |
1989 | 卡亨,威廉 | 加拿大 | 数值分析 |
1990 | 费尔南多·科尔巴托。 | 美国 | 分时系统,包括CTSS和Multics |
1991 | 米尔纳,A.J.罗宾 | 英国 | 机器辅助打样施工 |
1992 | 巴特勒·兰普森 | 美国 | 分布式计算 |
1993 | Hartmanis,法学博士 | Latvian-American | 计算复杂度理论 |
1993 | 斯特恩斯,理查德。 | 美国 | 计算复杂度理论 |
1994 | 费根鲍姆,爱德华 | 美国 | 人工智能 |
1994 | Reddy,拉吉 | 印度 | 人工智能 |
1995 | 布卢姆曼努埃尔 | 美国 | 计算复杂度理论 |
1996 | Pnueli,阿米尔 | 以色列 | 计算中的时间逻辑 |
1997 | 恩格尔巴特,道格拉斯 | 美国 | 电脑鼠标和多个窗口 |
1998 | 灰色,吉姆 | 美国 | 数据库和事务处理 |
1999 | 弗雷德里克·布鲁克斯; | 美国 | 计算机体系结构、操作系统和软件工程 |
2000 | 姚,Andrew Chi-Chih | 中国人 | 计算理论 |
2001 | 达尔,Ole-Johan | 挪威 | 面向对象编程语言 |
2001 | 尼加德,克里斯汀 | 挪威 | 面向对象编程语言 |
2002 | 莱纳德·M·阿德尔曼 | 美国 | 公开密匙加密 |
2002 | 罗纳德·L·里维斯特 | 美国 | 公开密匙加密 |
2002 | 沙米尔,阿迪 | 以色列 | 公开密匙加密 |
2003 | 凯,艾伦 | 美国 | 面向对象编程语言,包括Smalltalk |
2004 | 瑟夫,文顿 | 美国 | 传输控制协议和Internet协议(TCP/IP) |
2004 | 康,罗伯特·E。 | 美国 | 传输控制协议和Internet协议(TCP/IP) |
2005 | Naur,彼得 | 丹麦 | 编程语言,包括ALGOL 60 |
2006 | 弗朗西斯·艾伦著。 | 美国 | 编译器优化和自动并行执行 |
2007 | 克拉克,埃德蒙·M。 | 美国 | 模型检验软件 |
2007 | 艾伦·爱默生 | 美国 | 模型检验软件 |
2007 | Sifakis,约瑟夫 | 法国 | 模型检验软件 |
2008 | 芭芭拉·J.H.利斯科夫著 | 美国 | 编程语言和系统设计 |
2009 | 查尔斯·萨克 | 美国 | 第一台个人电脑——奥拓 |
2010 | 勇敢的,莱斯利 | 美国 | 计算学习理论 |
2011 | 珠儿,犹太 | 以色列-美国 | 人工智能 |
2012 | 格尔德瓦瑟,戴尔 | 以色列-美国 | 密码学 |
2012 | Micali西尔维奥 | 美国 | 计算复杂度 |
2013 | Lamport、莱斯利 | 美国 | 算法分析及证明结构 |
2014 | Stonebraker,迈克尔 | 美国 | 数据库 |
2015 | Diffie,·维特菲尔德 | 美国 | 密码学 |
2015 | 赫尔曼,马丁 | 美国 | 密码学 |
2016 | berners - lee,蒂姆 | 英国 | 超文本传输协议(HTTP)、超文本标记语言(HTML)和万维网 |
2017 | 约翰·L·轩尼诗 | 美国 | 计算机体系结构 |
2017 | 大卫·帕特森 | 美国 | 计算机体系结构 |
2018 | Bengio, Yoshua | 加拿大 | 人工智能 |
2018 | 辛顿,杰弗里 | 加拿大 | 人工智能 |
2018 | LeCun (Yann | 美国 | 人工智能 |
2019 | 埃德温·E·卡特穆尔。 | 美国 | 三维计算机图形学 |
2019 | 汉拉汉,帕特里克·M。 | 美国 | 三维计算机图形学 |
2020 | 阿霍,阿尔弗雷德·瓦伊诺 | 美国 | 基于编程语言实现的算法和理论 |
2020 | 乌尔曼,杰弗里·大卫 | 美国 | 基于编程语言实现的算法和理论 |
2021 | 唐,杰克 | 美国 | 算法和软件 |