自 1966 年设立以来，图灵奖一般每年仅授予一名计算机科学家，奖励对计算机事业作出重要贡献的个人。当然，获奖的人数有时会是两位或者三位，比如 2018 年图灵奖就授予了深度学习三巨头 Yoshua Bengio、Geoffrey Hinton、Yann LeCun，2020 年图灵奖得主授予了「龙书」作者 Jeffrey David Ullman 和 Alfred Vaino Aho。多人同时获奖基本上是因为他们是某一成果的共同贡献者。
这几天2019年诺贝尔奖陆续颁布，诺贝尔奖最初分设物理、化学、生理学或医学、文学、和平等五个奖项，于1901年首次颁发。1968年，瑞典国家银行增加设立了诺贝尔经济学奖。但是一直就是没有诺贝尔计算机奖。其实是有的，计算机界诺贝尔奖——图灵奖。
大家好，我是bigsai，这是我经历的一个真实的故事，在笔者今年参加考研复试的时候，由于疫情原因是线上复试，但是一些流程还是没变的，机试+笔试完之后就是面试了。
---- 新智元报道 来源：arXiv 编辑：Emil 好困 【新智元导读】什么样的人获得图灵奖的概率更高？近日，有教授从图灵奖获奖名单中分析出了其中的「奥秘」。 最近，来自罗切斯特大学罗杰波团队发表最新论文，三位作者从不同渠道收集了截至2020年以前所有图灵奖获奖者的资料，包括个人信息、家庭背景和学术背景。并且试图从统计学角度来分析图灵奖与这些背景经历的关系。 想要让孩子出人头地的父母们，记得收藏这份获奖指南！ https://arxiv.org/pdf/2104.05636.pdf 截至2
Jürgen Schmidhuber，LSTM之父，同样对如今AI复兴和发展意义深远。甚至最新论文引用数已经超过了——反向传播。
9 月 27 日消息，国外调查机构 The Stock Dork 分析了过去 5 年时间里，全球市值前 50 家企业首席执行官的平均“年终奖”情况。这些年终奖包含股票期权、红利、奖金、薪酬等各项收入。
今日头条丨一点资讯丨腾讯丨搜狐丨网易丨凤凰丨阿里UC大鱼丨新浪微博丨新浪看点丨百度百家丨博客中国丨趣头条丨腾讯云·云+社区
---- 新智元报道 编辑：David 好困 拉燕 【新智元导读】2021年图灵奖揭晓！高性能计算先驱、超算Top500创始人之一Jack Dongarra获奖，独享100万美元奖金。 20世纪70年代末，一位阿拉贡国家实验室的年轻研究员参与编写了名为「Linpack」的计算机代码，这段代码也让那些被后世称为超级计算机的系统可以运行复杂的数学计算。 20世纪90年代初，还是这位研究员，和他的同事们利用「Linpack」，又创造出了一种用于衡量超级计算机能力的全新测试，也就是测试超算每秒能进行多少
与乔布斯共事26年，被乔布斯屡次称赞“聪明”、“非常聪明”，“天才”的人，能怎么样？
大数据文摘出品 计算机领域的最高奖项图灵奖公布了2021年的得奖者，美国计算机科学家Jack J. Dongarra，表彰他在高性能计算领域的卓越成就。 根据美国计算机协会（ACM）官方介绍，Dongarra的算法和软件推动了高性能计算的发展，对人工智能、计算机图形学等多个计算科学领域均产生了重大的影响。他在数值算法和库方面做出了开创性的贡献，使得高性能计算软件能够跟上四十多年来的指数级硬件更新。 Dongarra是田纳西大学电气工程和计算机科学系的大学计算机科学特聘教授、曼彻斯特大学数学学院的图灵研究员
选自ACM、MIT News 机器之心编译 参与：黄小天、吴攀、李亚洲 今年的图灵奖得主 Tim Berners-Lee，他发明了万维网（World Wide Web）——世界上第一种网络浏览器和「能
该系列这几十个人，是计算机领域最高荣誉 "图灵奖" 获得者，ta们的研究领域，在今天仍左右着我们在信息时代的生活和工作。
刚刚，ACM官方公布了2017年度图灵奖的获得者：两位计算机体系结构大师斯坦福大学前校长 John L. Hennessy 和加州伯克利大学的 David Patterson 教授 获此殊荣, 实至名归！ 表彰理由为：表彰他们开创了在微处理器行业具有持久影响力的计算机体系结构设计与评估方面系统化、定量化的方法。 （For pioneering a systematic, quantitative approach to the design and evaluation of computer arch
有人可能会说，人工智能已经能够捕捉到结晶智能，但却无法捕捉到流体智能。但从最近 ChatGPT 和 Dall-E 的例子来看，人工智能显然已经掌握了结晶智能和流体智能，因此也掌握了一般（人类）智能。
AI应该翻译成为“机器智能”，翻译成“人工智能”是人类把自己看得过大、过高——马云
哥伦比亚大学计算机科学名誉教授Alfred Vaino Aho和斯坦福大学计算机科学名誉教授Jeffrey David Ullman共享了这一殊荣。
👆点击“博文视点Broadview”，获取更多书讯 要了解顶级计算机科学家是如何养成的，首先得知道顶级的计算机科学家都有谁 ~~ 那就要说到计算机领域的国际最高奖项，被誉为“计算机界的诺贝尔奖”的图灵奖了！ （图灵奖奖杯） 毋庸置疑，能获得图灵奖的计算机科学家必然称得上顶级了！ （下面这几位科学家绝对有资格称得上顶级） “以史为鉴，可以知兴替。” 倘若沿着图灵奖获奖者的足迹一路追寻，展现我们眼前的将是横跨编译原理、程序设计语言、计算复杂性理论、人工智能、密码学、数据库等多个领域的壮阔画卷。 那些
北京时间4月4日，美国计算机协会（Association for Computing Machinery, 简称ACM）宣布了 2016 年度图灵奖得主：万维网之父、MIT 教授Tim Berners
2017年图灵奖，最终颁给了John L. Hennessy和David A. Patterson.
选自ACM 机器之心报道 刚刚，美国计算机协会（ACM）宣布 John L. Hennessy 和 David A. Patterson 荣获 2017 年图灵奖。目前这两位学者都供职于谷歌，前者是谷歌母公司 Alphabet 的董事会主席，后者任谷歌杰出工程师，致力于研究机器学习和人工智能。图灵奖是计算机协会（ACM）于 1966 年设立的奖项，专门奖励对计算机事业作出重要贡献的个人，有「计算机界诺贝尔奖」之称。公告中写道，Hennessy 和 Patterson 对今天微处理器的基础贡献引领了移动和 I
本文经机器之心（微信公众号：almosthuman2014）授权转载，禁止二次转载
斯坦福大学计算机图形学实验室教授Patrick Hanrahan和计算机科学家、皮克斯动画工作室联合创始人Edwin Catmull获得了这一计算机领域最高荣誉！二人均为Pixar（皮克斯）的创始成员。
👆点击“博文视点Broadview”，获取更多书讯 《图灵宇宙：原初纪元——计算机科学发展简史》这一爆款新书即将上市，全新角度拆解计算机科学发展，通俗易懂、内容精彩，你是不是也很期待？ 今天我们就来一拨超前点读活动，参与活动的读者朋友们即有机会提前阅读本书部分章节，期待你的阅读感受能为这本书增光添彩。 活动介绍 如今火爆互联网的元宇宙、无人驾驶、人工智能、3D打印等这些伟大发明的背后，都有图灵奖获得者的贡献。 《图灵宇宙：原初纪元——计算机科学发展简史》是由中科院软件研究所精心创作的集趣味性和科普性于
五期飞跃计划开始报名，联系小编，获取你的专属算法工程师学习计划（联系小编SIGAI_NO2）
机器之心报道 机器之心编辑部 他曾说过：未来的计算架构会是 CPU 和 GPU 的结合。 守了一天，终于揭晓！ 刚刚，2021 图灵奖公布。ACM 官方宣布 2021 年的图灵奖授予美国田纳西大学电气工程和计算机科学杰出教授，现年 71 岁的 Jack Dongarra，以表彰他对数值算法和工具库的开创性贡献，其使得高性能计算软件能够跟上四十多年来的指数级硬件改进。 Dongarra 的算法和软件推动了高性能计算（HPC）的发展，并在从人工智能到计算机图形学的许多计算科学领域产生了重大影响。由于他的软件
生于英国，曾入伍并获少尉军衔。1952年入读剑桥大学国王学院(1954年毕业于国王学院的图灵自杀)，但当时他没听说过图灵。
自1966年艾伦·佩利获得第一届图灵奖（Turing Award）开始，图灵奖作为计算机界的“诺贝尔奖”已经颁发了53届，共73位科学家获此殊荣。
前几天，2018图灵奖获得者公布，深度学习三巨头：Yoshua Bengio、Geoffrey Hinton、Yann LeCun荣获桂冠。
高德纳（Donald E. Knuth），1938年出生于Wisconsin。1960年，当他毕业于 Case Institute of Technology数学系时，因为成绩过于出色，被校方打破历史惯例，同时授予学士和硕士学位。他随即 进入大名鼎鼎的加州理工学院数学系，仅用三年时间便取得博士学位，此时年仅 25岁。
---- 新智元报道 编辑：Aeneas 桃子 【新智元导读】「计算复杂性」理论奠基人、1993年图灵奖得主Juris Hartmanis去世，享年94岁。 又一巨星陨落。 7月29日，「计算复杂性」理论奠基人、1993年图灵奖得主Juris Hartmanis去世，享年94岁。 首创康奈尔计算机科学系 1928年，Juris Hartmanis出生在苏联拉脱维亚(Latvia)共和国，父亲是拉脱维亚军队将军Mārtiņš Hartmanis，于1940年被捕入狱去世。 二战结束时，Har
编译 | 费棋 又一年度的图灵奖获得者终于公布了。 北京时间 3 月 21 日晚间，ACM 协会公布了 2017 年年度图灵奖得主——斯坦福大学前校长 John L. Hennessy 和加州大学伯克利分校退休教授 David A. Patterson。6 月 23 日，他们将会在旧金山举办的 ACM 颁奖晚宴上领奖。 图灵奖是计算机科学领域的最高奖项，也被誉为“计算领域的诺贝尔奖”。去年，ACM 图灵奖的获得者是 Tim Berners Lee，他发明了万维网（World Wide Web）、第一个 W
【新智元导读】早在70年前，艾伦·图灵在一场演讲中预测了机器学习和“有智能的机器”的工作方式，并预期到今天的有关人工智能对人类工作的影响之争论。那么，图灵的观点是哪一派的呢？ 📷 2015年3月19日，在中国香港举行的一场拍卖会预览上，英国数学家、计算机科学的先驱艾伦·图灵的笔记本内页被摆在他本人的画像前展示。(AP Photo/Kin Cheung) 1947年2月20日，艾伦·图灵在伦敦数学学会发表演讲，提出“我们想要的是一台可以从经验中学习的机器”。图灵预期到今天机器学习和深度学习的热潮
相信任何一个计算机专业的人都不会对 RISC（精简指令集）陌生。这次图灵奖获得者就是为 RISC 发展做出巨大贡献的两个人。 AI 科技评论消息：3 月 21 日，美国计算机协会（ACM）将 2017 年图灵奖授予斯坦福大学前校长约翰·轩尼诗（John L. Hennessy）和加州大学伯克利分校退休教授大卫·帕特森（David A. Patterson），得奖理由如下：开创了一种系统的、定量的方法来设计和评价计算机体系结构，并对 RISC 微处理器行业产生了持久的影响。 详细来说，Hennessy 和
美国计算机协会（ACM）宣布将2017年度的图灵奖颁给了芯片界的两位大师：曾任斯坦福大学校长的John L. Hennessy和曾任加州大学伯克利分校教授的David A. Patterson。
当地时间3月27日，美国计算机协会（ACM）宣布，把2018年的图灵奖（Turing Award）颁给人工智能科学家Yoshua Bengio，Geoffrey Hinton和Yann LeCun，以表彰他们为当前人工智能的繁荣发展所奠定的基础。
John Hennessy（左）和David Patterson 拿着他们合著的《计算机体系架构：量化研究方法》，照片的拍摄时间大约是1991年。来源：ACM 【新智元导读】ACM刚刚公布了2018年的图灵奖得主，体系结构宗师John Hennessy和David Patterson两人共同获此殊荣。他们两人合著的经典教材培养和指导了无数后人。在AI硬件架构设计火热的今天，图灵奖颁发给了体系结构大师，而且两位近期都被收入Alphabet体系，终于会师谷歌。 美国计算机协会（ACM）今天宣布，前斯坦福大学
目前芯片市场由英特尔、AMD、ARM、高通等厂商把持，前一阵子各大芯片厂商陆续停止向华为供货，导致华为的“备胎”纷纷被迫转正。多亏了任正非的远见，华为十年前就开始准备备胎，否则华为的处境会比现在更加艰难。
2007年图灵奖授予了在模型检测技术领域的奠基性贡献的科学家：Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科学家。 什么是模型检测技术呢？ 看看wikipedia 上的定义吧： Model checking is the process of checking whether a given structure is a model of a given logical formula. The concept is general and applies to all kinds of logics and suitable structures. A simple model-checking problem is testing whether a given formula in the propositional logic is satisfied by a given structure. 简单的说：是一套用于判断硬件和软件设计的理论模型是否满足规范的方法。这可真是个抽象的描述，看起来似乎离我们很遥远，遥远的只有像英特尔研究中心副总裁Andrew Chien才能对模型检测技术用一句话来评价：“英特尔和整个计算机工业都从他们的贡献中直接获益”。 那模型检测技术是不是离程序员也很遥远呢？图灵奖作为计算机界诺贝尔奖，如果把奖项颁给一个离程序员很遥远的技术，还真说不过去。 带着这个疑问，我浏览了wikipedia上长长的一窜模型检测技术的项目，还好不出所料，找到了下面几个项目： 1、Java Pathfinder ：是一个用来认证java执行字节代码的系统。类似一个java虚拟机用来检测软件运行状态的验证系统。 2、Mono Model Checker ：跑在mono 开源的.net平台上。用来自动侦查 CIL 字节码错误的程序。目前的版本支持CIL的死锁 deadlocks 和 断言冲突 assertion violation 。 3、对于c++ 感兴趣的人还可以看看这两个项目： State Exploring Assembly Model Checker ， Bounded Model Checking for ANSI-C 。 举个例子吧，在开发中，利用测试库junit 和 dotunit 写测试代码已经逐渐普及开了，比如下面这段：
说起程序员的话，人们想到的都会是哪些理工科的男生，因为女生称为程序员的人真的是少之又少，所以男性几乎称霸了程序的天下 。但是也并非所有牛逼的程序员都是男生，像余国荔，就是女程序员中的叫佼佼者，虽然余国荔并不是女程序员第一人，但是余国荔却是最牛逼的 。
近日，一家印度初创软件开发商因难以负担客户支持团队的费用，决定将这项工作外包给 AI 聊天机器人，并表示这项决策“大幅改善了服务质量并削减了成本”。
关系代数诞生于1969年，甲骨文诞生于1978年。这期间的历史很漫长，所以本系列文章等甲骨文上场起码还有好几个章节。
区块链自诞生以来，其最大的发展阻碍便是“不可能三角”，也称“三元悖论”，即：无法同时达到“高效低能”、“去中心化”、以及“安全”这三个要求，其中必有取舍。
近日，传奇的麻省理工学院计算机科学家Fernando José Corbató逝世，享年93岁。
最新一期《ACM通讯》发表专栏文章，以深度神经网络从备受怀疑，到2018年Geoffrey Hinton、Yoshua Bengio和Yann LeCun获得图灵奖的一段漫长历史为例，提醒人们“将研究视为一场漫长的竞赛，才有可能获得真正的突破”。
据官方公告介绍，因三位巨头在深度神经网络概念和工程上的突破，使得 DNN 成为计算的一个重要构成，从而成为 2018 年图灵奖得主。
大数据文摘作品 记者：魏子敏、龙牧雪 邀请三位图灵奖得主齐聚，这可能是一座城市拥抱人工智能战略的最大诚意。 而南京对于人工智能的热情远不止于此。4月份，计算机科学最高奖图灵奖唯一华人得主、中科院院士姚期智宣布创业，率领清华团队组建新型研发机构图灵人工智能研究院，并落户南京。 今天，由南京市人民政府支持、图灵人工智能研究院主办的交叉智能前沿峰会，是南京图灵人工智能研究院成立后的首次高调亮相。 作为大会的主办方，图灵人工智能研究院邀请到了多位重磅嘉宾，姚期智院士更是亲自上场，在峰会开场，中英文交迭，就人工智能人
近日，有网友在 reddit 上声称，Jurgen Schmidhuber 团队的 Dan Ciresan 提出的 DanNet（也是一种基于 CUDA 的卷积神经网络）先于 AlexNet 完成了四项图像识别挑战。
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
