图灵奖得主罗宾-米尔纳去世(图)

美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)　　北京时间3月23日上午消息，据国外媒体报道，美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)于3月20日星期六去世，享年76岁。　　米尔纳开发了LCF，这是首款自动定理证明工具之一。他为LCF开发的语言ML是第一个多态类型推演和具有类型安全异常处理机制的编程语言。米尔纳还为分析并发系统开发了一个理论框架，即CCS(calculus of communicating systems)及其前身pi-calculus。临终前，米尔纳还在研究bigraph，这是一种包含CCS和pi-calculus的普适计算形式。(鼎宏)

时间： 2024-10-13 12:22:34

图灵奖得主罗宾-米尔纳去世(图)的相关文章

​【NIPS2017】深度学习真的不需要理论指导了？图灵奖得主讲座无人问津，贝叶斯之父Judea Pearl落寞身影背后引人深思

NIPS 2017 "Test of Time"论文大奖获得者Ali Rahimi 在长滩现场的演讲中抱怨当前机器学习尤其是深度学习使用的很多方法缺少(理论)理解.而Lecun则回怼说:仅仅因为理论没有追赶上实践的水平,就批评整个机器学习社区使用「炼金术」,这种言论是危险的. CMU大学教授,Petuum公司创始人Eric Xing则在看到这组图后表示:这是NIPS2017大会上一个让人难过的场景.成为一个单纯的"炼金术师"并不可耻,可耻的是并不努力从"炼

要记的密码太多？图灵奖得主想到了解决算法

本文讲的是要记的密码太多?图灵奖得主想到了解决算法,需要提前练习,但接下来就十分简单了. 密码是互联网的老大难问题.图灵奖得主发现可以利用算法,使密码管理及安全性都有所提升. 如今互联网用户平均拥有20个密码.总地来看,密码越简单,就越不安全.当多个网站间共享同一个密码时,它甚至会变得更加脆弱. 曼努埃尔·百隆是卡内基梅隆大学的计算机科学教授,于1995年获得图灵奖.他一直致力于研究一种被称为"人类可计算"的密码,不但相对安全,还不需要我们记住每个网站的不同密码.为了取代死记硬背的老方

图灵奖得主MIT Silvio Micali教授：区块链正面临的三大挑战

​ 美国三院院士.图灵奖得主.MIT 密码学及区块链专家MIT Silvio Micali教授精要总结:面对数字经济全球化--区块链的核心意义及正面临的三大挑战 在经历了两场灾难性的世界大战之后,欧洲各国选择如此紧密地结合起来,使得彼此之间的战争可能已经变得不可思议.这个成功的市场共同体创造了欧洲历史上最长的和平与繁荣时期.数字经济正将在全球范围内推广这种福音.得益于欧洲国家之间极为接近的地理原因,以及消除贸易壁垒的政治因素更使得人员和商品之间的流动变得极其容易.但在数字空间中,任何国家的距离都

姚期智到底有多牛？细数中国唯一图灵奖得主在三大领域的学术造诣

提起姚期智,大部分人的第一反应会想到图灵奖.如今作为国内第一名也是唯一一名图灵奖获得者,姚期智自 2011 年起担任清华交叉信息研究院院长,为培养国内优秀人才做出了巨大贡献.今天,雷锋网AI科技评论就和大家一起细数姚期智院士的学术造诣,「数风流人物,还看今朝」. 姚期智这个名字总与「图灵奖」挂钩,而如果你了解他的学术造诣,也会知道这一奖项也是实至名归. 生于上海,迁居香港,又移民台湾,姚期智在台湾大学完成了物理学学士学位后,赴哈佛大学就读物理学硕士及博士,师从 1979 年诺贝尔物理学获得者 S

【特稿】万维网之父获图灵奖，纪念闪耀人工智能历史长廊十位大师

2017年4月4日,美国计算机协会(ACM)公布了2016年图灵奖的获得者:万维网(World Wide Web)的发明人.麻省理工学院教授 Tim Berners-Lee. 美国计算机协会给 Tim Berners-Lee 的获奖理由是:发明World Wide Web.第一个Web浏览器,以及使Web规模化的基础协议与算法.  南京大学教授周志华在微信朋友圈评论说:"Tim Berners-Lee 因"发明 World Wide Web.第一个Web浏览器,以及使Web规模化的基础

两位 MIT 密码学专家赢得 2012 年图灵奖

美国计算机学会宣布了2012年度的图灵奖得主:MIT电机工程和计算机科学教授.以色列魏茨曼科学研究所数学教授Shafi Goldwasser,以及MIT工程学教授Silvio Micali.图灵奖被认为是计算机科学领域的诺贝尔奖. 两位密码学专家奠定了现代密码学的数学基础,形式化加密安全是基于可计算而不是绝对的概念,创造出数据结构,将密码学从一门艺术变为一门科学.两人将共享25万美元奖金. 

万维网之父蒂姆 · 伯纳斯 - 李爵士赢得 2016 年度图灵奖

美国计算机学会(ACM)宣布了 2016 年度图灵奖得主:英国计算机科学家.万维网(World Wide Web)的发明者.MIT 和牛津大学教授蒂姆 · 伯纳斯 - 李爵士. ACM在官网给出蒂姆·伯纳斯-李的获奖理由是,其发明了万维网(World Wide Web),世界第一个网页浏览器,以及发明了允许网页扩展的基本协议和算法. 伯纳斯 - 李爵士发明了万维网.第一个浏览器,允许万维网扩展的基础协议和算法,其中万维网被认为是历史上最有影响力的计算发明之一,是数十亿人日常通信.获取信息.从事商

图灵奖获得者John Hopcroft：理性看待AI浪潮，下次革命或许还需要另外40年

本文讲的是图灵奖获得者John Hopcroft:理性看待AI浪潮,下次革命或许还需要另外40年, 2017年10月19日微软亚洲研究院 联合 哈尔滨工业大学共同在哈尔滨市举办了第19届"21世纪的计算" 大型国际学术研讨会(21CCC 2017). "二十一世纪的计算"学术研讨会是微软亚洲研究院自创立之初便开始举办的年度学术盛会,每年都吸引着无数计算机科学领域学者们的目光.作为中国及亚太地区规模最大.最具影响力的计算机科学教育与研究盛会之一,该大会已在中国.日本.

阿里多位技术专家参加ACM图灵奖50周年大会，增进产学研互动

近日,ACM图灵奖五十年中国大会(ACM TURC 2017)在上海举行,图灵奖得主文顿·瑟夫.约翰·霍普克洛夫特.姚期智和中科院院士陈润生.中国工程院院士.北京大学教授高文等在内的众多国内外学者参会,是中国计算机科学领域的专场学术盛会.阿里巴巴副总裁.阿里云首席科学家周靖人和阿里巴巴多位技术专家受邀参会. 图为阿里巴巴副总裁周靖人在会场发言 在特邀报告中,高文院士以全国首个人工智能城市治理运用杭州"城市数据大脑"为例阐述了大数据和人工智能技术在应用场景的落地,高度评价了阿里巴巴在人工