这7位图灵奖得主,竟然今日才入选ACM Fellow,他们可是程序员“祖师爷”

自媒体 自媒体
晓查 浩楠 发自 凹非寺 
量子位 报道 | 公家号 QbitAI

罕有!

[好文分享:www.ii77.com]

7位图灵奖得主、较量机科学多项根蒂研究的要害大牛,竟然今日才成ACM Fellow……

[本文来自:www.ii77.com]

要知道,ACM——美国较量机协会,全世界最知名、主要的较量机组织,而Fellow(会士)则是成员的最主要声誉之一。

而且较量机范畴的“诺贝尔奖”,也由ACM评选和颁布。

所以就在今天(2021年1月14日),当ACM的新入选Fellow名单发布,7位图灵奖得主在列的事实,令人不测。

而量子位进一步获悉,本来这照样本年ACM专门新增了“特别通道”,才让这7位图灵奖得主集体入选Fellow。

他们傍边有Unix把持系统、Go说话发现者,也有快速排序算法的提出者,堪称法式员们的“祖师爷”声威。

当然,比拟去往年,本年新入选的ACM Fellow声威也规模更甚,全球共计95名顶尖学者入选。

个中,跨越13位华人学者在列,包罗陈怡然、颜水成、周昆等知名大牛,而若是以单元单子来看,浙江大学则成为国内最瞩目赢家。

哪7位图灵奖得主?

Kenneth Tompson

入选来由:成长了把持系统理论,实现了UNIX把持系统

在法式员圈,人人称他为“Ken”。

1960年,Ken Tompson就读加州大学伯克利分校,主修电气工程,1966年获得电子工程硕士学位。

卒业后,他到场了贝尔实验室。

为了能在电脑上玩游戏,他并着手将本身的系统对象扩展成完整的把持系统,在上面实现了文件系统、历程、设备文件、号令行注释器等,

1970年,这个把持系统就是Unix

在完成Unix系统斥地的根基工作之后,他感觉Unix系统需要一个系统级的编程说话,于是缔造了B说话,也就是后来C说话的前身

1983年,他就因为成长了通用把持系统的理论,稀奇是实现了Unix把持系统,而获得了图灵奖。

1990年,他又因为Unix系统和C说话方面做出的进献,获得了IEEE汉明奖。

2006年,时年63岁的Tompson进入谷歌工作,与他人配合设计了Go说话

Michael O. Rabin


入选来由:对于非确定性主动机、概率主动机的引入以及对可较量性和较量复杂性理论的进献

Michael O. Rabin是以色列数学家和较量机科学家。

1959年,Rabin和Dana Scott配合揭橥了“有限主动机与其剖断性问题”,两人也是以获得了1976年的图灵奖。

1975年,Rabin发现了一种相当快速的随机化算法,用于判断一个大数是否是素数,而快速素数磨练是今朝大部门公钥暗码系统的要害。

1976年,Rabin获得图灵奖。

1987年,Rabin与他人提出了有名的字符串搜刮算法——Rabin-Karp算法。

Tony Hoare

入选来由:编程理论及其在软件工程实践中的应用

Tony Hoare最知名的工作是在1960年提出的快速排序算法

他还提出了较量机范畴有名的哲学家就餐问题,并发现用来作为同步法式的看管器(Monitors)以解决这个问题。

此外他的进献还有:Hoare逻辑,occam编程说话等等。

1980年,Tony Hoare获得图灵奖。

Manuel Blum

入选来由:赞誉他对较量复杂性理论的根蒂及其在暗码学和法式搜检应用所做的进献。

60年月,Manuel Blum提出了了一种自力于具体机械模型的正义复杂性理论。该理论以哥德尔数论和布卢姆正义为根蒂。

尽管这套理论理论不涉及任何机械模型应用,但从中却成长出了压缩定理、间隙定理、老实定理和布卢姆加快定理等等。

Manuel Blum其他工作包罗中值的中值(一种线性时间选择算法)、Blum Shub伪随机数生成器、Blum-Goldwasser暗码系统,以及比来的CAPTCHA

1995年,Manuel Blum获得图灵奖。

Adi Shamir

入选来由:对暗码学范畴的进献

Adi Shamir,以色列较量机科学家。RSA加密算法发现者。

除了RSA,Shamir在暗码学方面的其他浩瀚发现和进献还包罗Shamir机要共享方案、破解Merkle-Hellman knapsack暗码系统、视觉暗码学、TWIRL和TWINKLE分化装配。

20世纪80年月末,他与Eli Biham一路发现了微分暗码剖析,这是一种冲击块暗码的通用方式。

Shamir在暗码学以外的较量机科学方面也做出了进献,好比斥地了第一个双可知足性的线性时间算法,并证实了复杂度类PSPACE和IP的等价性。

2002年,Adi Shamir获得图灵奖。

Whitfield Diffie和Martin Hellman

Whitfield Diffie

Martin Hellman

入选来由:发现非对称公钥加密手艺,斥地出一种实用的加密密钥交流方式

Whitfield Diffie和Martin Hellman,同为非对称公钥暗码发现者,2015年图灵奖配合得主。两人的论文《暗码学的新偏向》揭橥于1976年。

论文中介绍了一种全新的暗码学密钥分派方式,对解决暗码学的根基问题之一密钥分派起到了至关主要的感化,它被称为Diffie-Hellman密钥交流,不外Hellman认为,因为Merkle的零丁进献,它应该被称为Diffie-Hellman-Merkle密钥交流。

他们的研究究竟直接成长出了一类新的加密算法的成长,这类算法被称为公钥加密和非对称加密

2015nian年两人同获图灵奖。

为啥图灵奖得主本年才集体入选?

需要从评选ACM Fellow的流程、要乞降尺度讲起。

据ACM官网发布的评选划定,入选ACM Fellow的科学家,必需在被提名昔时算起,之前10年内,有5年担当ACM专业会员(Professional ACM membership)的履历。

知足资格后,将由现任资历名望够高的ACM专业会员提议提名。

被提名ACM Fellow,还需要此外5个ACM专业会员(纷歧定是ACM Fellow)的背书担保,来证实候选人在研究范畴的进献和成就。

  • 而候选人自己,必需在手艺和向导方面临较量机范畴发生了持久的影响,好比:具体的理论或实践成就,显露出立异、独创性和缔造性。

  • 手艺向导力,提出新概念、新产物或新系统,鞭策较量机的成长。

  • 担当向导职务,为ACM或较量机界做出卓越进献。

当然,被提名人必需是自愿参评,未征适合事人赞成的提名,是无效的。

提名提交后,由ACM委员会评估审核。

如许来看,ACM Fellow和同是ACM评选颁布的图灵奖之间,并无任何直接或充裕前提关系。

图灵奖得主,纷歧定就是ACM Fellow。

但像本年如许一下入选7位图灵奖大佬,仍属罕有。

据量子位从知恋人士处获悉,本年,ACM官方在评选Fellow时,特意搞了一个special group,把一部门之前从未入选的图灵奖得主,一次全评了。

也算是互相都好事圆满了。

此外,本年还有多位华人科学家入围,具体如下:

哪13位华人学者入选?

张耀文-台湾大学

入选来由:对EDA算法的进献

张耀文是台湾大学电机工程系特聘传授、电机资讯学院院长、IEEE Fellow。

他的首要范畴是:电子设计主动化(EDA)、集成电路实体设计、集成电路可制造性设计。他也是首位非欧美的IEEE EDA理事会被选主席。

张耀文在台湾大学获得较量机科学和信息工程学士学位,1993年和1996年离别在德克萨斯大学奥斯汀分校获得较量机科学硕士学位和博士学位。

他是IEEE研究员,今朝是IEEE EDA理事会(CEDA)的被选主席,这是第一位非美国/欧洲被选主席。

小我主页:
https://www.ee.ntu.edu.tw/profile1.php?teacher_id=943001&p=3

陈怡然-杜克大学

入选来由:对非易失性存储的进献

陈怡然是杜克大学电子与较量机工程系传授,杜克大学较量进化智能中心主任,美国NSF新型可持续智能较量中心主任,IEEE Fellow。

他的首要研究偏向是:非易失性内存和存储系统,机械进修与神经形态较量、移动较量。

陈怡然在清华大学获得本科及硕士学位,并于2005年在普渡大学获得博士学位。

博士卒业后,陈怡然先后进入新思科技与希捷。在工业界工作五年后,他于2010年到场匹兹堡大学任助理传授并于2014年晋升为副传授,之后又获终身教职并任“双百年校友“讲席。

2019年7月,陈怡然到场杜克大学,成为该校较量进化智能中心主任。

陈怡然揭橥过一本专著及跨越三百篇学术论文,获得过93项美国专利,并出任过多本IEEE和ACM期刊编委以及跨越40个国际会议的组织与手艺委员会主席和委员。陈怡然传授曾经获得6次国际会议最佳论文以及12次最佳论文提名。

小我主页:
https://ece.duke.edu/faculty/yiran-chen

任奎-浙江大学

入选来由:对无线系统平安和云数据平安做出的进献

任奎是浙江大学求是讲席传授,今朝担当浙江大学收集空间平安学院院长、较量机科学与手艺学院副院长、较量机立异手艺研究院执行院长、IEEE Fellow、ACM卓越科学家。

其首要研究范畴是:云平安、物联网平安与隐私珍爱等。

2018年,阿里巴巴和浙江大学结合成立“AZFT收集空间平安实验室”,现由任奎与阿里平安部首席算法专家陆全领衔。

小我主页:
https://person.zju.edu.cn/kuiren

申恒涛-电子科技大学

入选来由:对大型多媒体内容懂得、索引和检索做出的进献

申恒涛现任电子科技大学较量机科学与工程学院院长、人工智能研究院执行院长,他照样美国光学学会会士和ACM卓越会员。

他一向从事最前沿的较量机科学研究,研究偏向包罗多媒体搜刮,较量机视觉,人工智能,和大数据治理。

小我主页:
https://faculty.uestc.edu.cn/shenhengtao/zh_CN/index.htm

陶宇飞-香港中文大学

入选来由:对大规模数据处理算法做出的进献

陶宇飞是香港中文大学较量机科学与工程系传授,同时也是复旦大学客座传授,历久从事数据库算法的理论根蒂研究,2016年被选为ACM卓越科学家。

2013年和2015年,他离别两次在数据库系统顶级会议SIGMOD上获得最佳论文奖。

陶宇飞研究的宗旨是斥地“小而甜”(small-and-sweet)的算法。小是指易于实现,便于在实践中布置;甜是指有主要的理论包管。

小我主页:
https://www.cse.cuhk.edu.hk/~taoyf/

王伟-UCLA

入选来由:对数据挖掘的根蒂和实践做出的进献

王伟是加州大学洛杉矶分校较量机科学和较量医学传授,也是该校可扩展剖析研究所(ScAi)的主任。

她的研究范畴是:大数据剖析和建模、数据库系统、天然说话处理、生物信息学、较量生物学以及较量医学。

王伟1994年在南开大学获得较量机科学学士学位,之后前去UCLA攻读较量机科学博士学位,并在卒业后进入北卡罗来纳大学教堂山分校任教,后来又回到UCLA。

1999年至2002年时代,她曾任IBM沃森研究中心研究员,个中一连2年获得了IBM发现成就奖。

小我主页:
http://web.cs.ucla.edu/~weiwang/

周昆-浙江大学


入选来由:对较量机图形学的进献

周昆,1977年出生于湖南岳阳,2002年获浙江大学工学博士学位。现任浙江大学较量机辅助设计与图形学国度重点实验室主任。

教育部长江学者特聘传授,国度卓越青年科学基金获得者,国际电气电子工程师协会会士(IEEE Fellow)。

研究范畴为较量机图形学、较量机视觉、人机交互和虚拟实际。

在ACM/IEEE Transactions上揭橥论文80余篇,论文引用1万余次,获得发现专利50余项。

周昆传授提出了真实感图形中常用数据构造的并行组织与接见方式,竖立了适合于GPU的真实感图形并行绘制流水线,设计了经典绘制算法的高效GPU并行方式,并斥地了具有自立常识产权的真实感图形并行绘制软件。

这些功效首次展示了以交互级速度实现片子级真实感图形绘制的可行性,引领了学术界基于GPU的真实感图形并行绘制的研究偏向,为工业界斥地基于GPU的真实感图形绘制系统奠基了根蒂。

小我主页:
https://person.zju.edu.cn/kunzhou

李学龙-西北工业大学

入选来由:对高阶数据的较量和进修做出的进献

李学龙,中国科学手艺大学卒业,西北工业大学传授。

李学龙传授还担当西安光学周详机械研究所研究员、博导,瞬态国度重点实验室副主任,光学影像剖析与进修中心主任,中国科学院光谱成像手艺重点实验室副主任。首要工作范畴是图像及视频处理和模式识其余应用研究。

在工程与较量两个范畴入选全球高被引学者。入选美国科学促进会会士(AAAS Fellow)、美国光学学会会士(OSA Fellow)、国际光学工程学会会士(SPIE Fellow)、国际电气电子工程师协会会士(IEEE Fellow)、国际模式识别学会会士(IAPR Fellow)等。

小我主页:
http://renshi.nwpu.edu.cn/info/1375/4602.htm

颜水成

入选来由:对可视化内容懂得手艺和应用的进献

颜水成,1995年进入北大数学系,师从程乾生传授,本硕博均就读于北大,2004年获得北京大学数学博士学位。

2001年,颜水成进入微软亚洲研究院实习,2004 年博士卒业后,颜水成脱离微软亚洲研究院,先在香港中文大学从事人脸识别相关研究,两年后前去伊利诺伊大学香槟分校(UIUC)从事博士后研究,师从美国工程院院士、较量机视觉华人传授黄煦涛 (Thomas Huang)。

2007 年,颜水成入职新加坡国立大学,创立机械进修与较量机视觉实验室,拥有终身教职。

颜水成博士团队提出的「Network in Network」(NIN)收集构造的焦点 1×1 卷积是近年来几乎所有较量机视觉深度进修模型的尺度模块,在学术界和工业界影响深远,其思惟也被后期的 GoogleNet、残差收集(ResNet)等模型所采用。

2015年9月,颜水成预备履新研究院院长及360首席科学家。

2019年,颜水成正式到场依图科技,任CTO。

2021年1月,颜水成被曝脱离依图,到场腾讯旗下东南亚电商品牌Shopee。

吕晨阳-华盛顿大学

吕晨阳传授,离别于1995年、1997年获得中科院较量机科学学士、硕士学位。2001年获得弗吉尼亚大学博士学位。

入选来由:对自适应实时系统、实时虚拟化和无线信息物理系统的进献

今朝是圣路易斯华盛顿大学较量机科学与工程系的Fullgraf传授,他的研究偏向是嵌入式和实时系统、收集物理系统、物联网、移动医疗和临床人工智能。

吕晨阳传授斥地并试运行了世界上第一个大规模的临床监测系统。

他在实时系统方面的进献包罗自适应实时中央件、工业无线传感器执行器收集和实时虚拟化手艺,这些手艺已被纳入全球主流系统软件中。

吕晨阳传授已揭橥论文200多篇,被引用次数跨越23000次,h-index为71,2011年至2017年担当ACM Transactions on Sensor Networks主编,

2018年至2019年担当IEEE实时系统手艺委员会(TCRTS)主席。

小我主页:
https://www.cse.wustl.edu/~lu/

Cathy H. Wu-特拉华大学

入选来由:对生物信息学、较量生物学、常识挖掘和语义数据集成的进献

Cathy H. Wu,现任特拉华大学工程和较量机系主任、生物信息学和较量生物学中心(CBCB)主任。

Cathy H. Wu博士拥有生物科学和较量机科学双科配景。

她于1978年于中国台湾国立台湾大学获得植物病理学学士。

1984、1986年又离别在普渡大学、密歇根州立大学获得植物病理学博士学位。

1989年,她又在得州大学泰勒分校取得较量机硕士学位。

Cathy H. Wu从事生物信息学和数据科学研究25年,研究范畴包罗基因组和卵白质注释、生物医学文本挖掘、生物医学本体论、基因-疾病-药物收集建模和大数据剖析。向导了全球几个生物信息学资源的斥地,包罗卵白质信息资源和国际UniProt联盟。

小我主页:
https://bioinformatics.udel.edu/people/personnel/cathy_wu/

Wang Yi-瑞典乌普萨拉大学

Wang Yi,现任瑞典乌普萨拉大学信息手艺系传授。

入选来由:对实时系统的主动剖析和验证做出进献

Wang Yi 于1982年在东北大学获得较量机工程学士学位。1991年在瑞典查尔姆斯理工大学获博士学位。

首要研究偏向为CPS的设计与动态更新,平安要害型嵌入式系统,实时系统,实时调剂,建模与验证。

小我主页:
http://user.it.uu.se/~yi/

Steven H. Low-加州理工学院

Steven H. Low,现任加州理工学院较量机与数学科学系和电气工程系传授,同时也是浙江大学客座传授。

入选来由:对于互联网拥堵掌握和智能电网优化的理论根蒂和实际布置

Steven H. Low于1987年在康奈尔大学获学士学位,1992年于加州大学伯克利分校获博士学位。

Steven H. Low以研究互联网拥塞掌握、算法和电力系统优化的理论和数学建模而著名 。

Low开创了互联网等大规模收集在端到端拥塞掌握下的数学理论,对资源分派、路由选择和收集架构都有影响,并基于这一数学理论设计了一种新的拥塞掌握算法FAST TCP,竖立了奇特的测试平台WAN-in-Lab,打破了数据传输的世界记载。

他的工尴尬改变拥堵掌握研究和陆地速度记录角逐的重点,从参数调整到算法设计和剖析起到了主要感化。

今朝,他的研究起头存眷将来智能电网的分布式能源资源的掌握和优化。

小我主页:
https://ee.caltech.edu/people/slow

谷歌5人、微软4人入选,浙大成国内最大赢家

谷歌入选的5位学者与获奖来由离别是:

  • Sanjay Ghemawat:分布式系统设计

  • Steven Gribble:跨集群、办事器和收集的虚拟化手艺

  • Andrew Tomkins:懂得收集和基于收集的社交收集

  • Ravi Kumar:收集科学建模、剖析和算法

  • Kenneth Lane Thompson:把持系统理论的成长、实现UNIX把持系统

微软入选的5位学者与获奖来由离别是:

  • David Maltz,收集根蒂架构,包罗数据中心收集,收集把持系统和云收集

  • Nachiappan Nagappan,经验软件工程和数据驱动的软件斥地

  • Meredith Ringel Morris,人机交互、信息检索、较量机支撑的协作工作和可接见性

  • Andrew D. Gordon,编程说话的道理、逻辑、可用性和可托赖性

而国内的高校机构中,入选人数最多的是浙江大学,个中包罗任奎、周昆,还有客座传授Steven H. Low。

原文链接:
https://www.acm.org/media-center/2021/january/fellows-2020

本文系网易新闻•网易号特色内容激励规划签约账号【量子位】原创内容,未经账号授权,禁止随意转载。

到场AI社群,拓展你的AI行业人脉

量子位「AI社群」招募中!迎接AI从业者、存眷AI行业的小伙伴们扫码到场,与50000+名石友配合存眷人工智能行业成长&手艺进展

量子位 QbitAI · 头条号签约作者

վ'ᴗ' ի 追踪AI手艺和产物新动态

一键三连「分享」、「点赞」和「在看」

科技前沿进展日日相见~


自媒体微信号:ii77扫描二维码关注公众号
爱八卦,爱爆料。
小编推荐
  1. NO.1 幼师竟然在幼儿园教孩子学这些?转给家长!

    各位老师把你所需要找的舞蹈和律动,可在本公众平台直接回复你所需要的舞蹈名称,我们会在适当的时间找到合适的资料

  2. NO.2 【震惊】“黄金树”幕后人物榨取10亿元,“REC”黄昌鸿、尹春华、苟中强、张冬梅、马丽辉、钟睿哲6名骨干被抓

    编者按:之前媒体3月份报道“REC虚拟货币”在都江堰市被查,现在“REC”已经停止提现2个月了,据知情人反馈

  3. NO.3 积极备孕这么久,为何就是怀不上孩子?

    怀不上孩子怎么办

  4. NO.4 GlobalCash虚拟信用卡是什么?怎么申请?

    GlobalCash虚拟信用卡是什么?怎么申请?对很多海淘的人而言,国内银行发行的信用卡在大多数美国的网站上

  5. NO.5 YAMAHA SMAX155来了!5月22日,雅马哈桂林发布新车!

    5月8日,小编发布了一篇文章,其时说是5月22日雅马哈将在桂林举办新车发布会,届时将有新车引进,出于其他原因,小编晚上把那篇文章删了,但小

  6. NO.6 【内涵】僵尸妹妹?

    我觉得林正英也打不过她

  7. NO.7 布达拉宫的禁拍内部揭秘,令世界惊叹!

    布达拉宫内部是禁止游客拍照的,那么我们去看什么?

  8. NO.8 【曝光】借双迪股份名号招摇撞骗?藤黄果的三天排毒瘦身却是靠节食实现

    近日,直销企业大连双迪科技股份有限公司(以下简称双迪股份)发布公告称,公司发现有声称道和系统的销售体系,打着

Copyright2018.爱妻自媒体资讯站,让大家及时掌握各行各业第一手资讯新闻!