首页 科技 正文

七位图灵奖得主今天被选为ACM研究员。

罕有!

7位图灵奖得主、较量争论机科学多项根本研究的关头大年夜牛,居然本日才成ACM Fellow……

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

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

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

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

他们傍边有Unix操作系统、Go措辞发现者,也有快速排序算法的提出者,可谓轨范员们的“祖师爷”威望。

当然,比拟去往年,本年新入选的ACM Fellow威望也范围愈甚,全球总计95名顶尖学者入选。

个中,逾越13位华人学者在列,包孕陈怡然、颜水成、周昆等知名大年夜牛,而假如以单元来看,浙江大年夜学则成为国内最谛视赢家。

哪7位图灵奖得主?

Kenneth Thompson

入选理由:成长了操作系统理论,实现了UNIX操作系统

在轨范员圈,大年夜家称他为“Ken”。

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

卒业后,他到场了贝尔尝试室。

为了能在电脑上玩游戏,他并着手将本身的系统东西扩大成完全的操作系统,在上面实现了文件系统、历程、设备文件、敕令行诠释器等,

1970年,这个操作系统就是Unix。

在完成Unix系统开辟的根基工作今后,他感觉Unix系统需要一个系统级的编程措辞,是以缔造了B措辞,也就是后来C措辞的前身。

1983年,他就由于成长了通用操作系统的理论,稀奇是实现了Unix操作系统,而获得了图灵奖。

1990年,他又由于Unix系统和C措辞方面做出的供献,获得了IEEE汉明奖。

2006年,时年63岁的Thompson进入谷歌工作,与他人配合设计了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。

非特殊说明,本文由原创资讯网原创或收集发布。

转载请注明本文地址:http://www.68nw.com/kj/2145.html