优品抢赚(Makemoneybuy)致力于解决全球青年就业、小商户生存、跨国供应链的困境,有效的链接卖家与买家。通过5G新零售跨境拼抢模式,实现用户、商家、消费者三方受益,打造新时代的共赢电商。
这7位图灵奖得主,竟然今日才入选ACMFellow,他们可是程序员“祖师爷”
7位图灵奖得主计算机科学许多基础研究的关键是ACM研究员。
要知道,ACM—美国计算机协会是世界著名的重要计算机组织,会员是其重要荣誉之一。计算机领域的诺贝尔奖由ACM颁发。今天(年1月14日),当ACM新选出的研究员名单公布时,七位灵魂奖得主的名单令人惊讶。
而量子位进一步获悉,原来这还是今年ACM专门新增了“特殊通道”,才让这7位图灵奖得主集体入选Fellow。
其中包括UNIX操作系统和go语言的发明者,以及快速排序算法的支持者,这可以称为程序员的“祖父”。与往年相比,今年新入选的ACM院士团队共有95位世界顶尖学者。其中,有超过13位中国学者上榜,包括陈怡然、颜水成、周昆等知名大牛。在单位方面,浙江大学已经成为国内的赢家。
哪7位图灵奖得主?
KennethTompson
入选理由:
操作系统理论的发展和UNIX操作系统的实现在程序员界被称为Ken。年,肯汤普森就读于加州大学伯克利分校,主修电气工程。年获得电子工程硕士学位。毕业后,他加入贝尔实验室。为了在电脑上玩游戏,他开始把系统工具扩展成一个完整的操作系统,在这个操作系统上实现了文件系统、进程、设备文件、命令行解释器等。年,操作系统是UNIX。在完成UNIX系统开发的基础工作后,他觉得UNIX系统需要一种系统级的编程语言。他创造了B语言,这也是C语言的前身。年,他因开发通用操作系统,特别是实现UNIX操作系统的理论而获得图灵奖。年,他因对UNIX系统和C语言的贡献获得ieeehamming奖。年,汤普森63岁加入谷歌,与其他人一起设计围棋语言。
MichaelO.Rabin
入选理由:
michaelo.Rabin是以色列数学家和计算机科学家,他是不确定自动机和概率自动机的引入对可计算性和计算复杂性理论的贡献。年,Rabin和danascott发表了《有限自动机判定性问题》,并于年获得图灵奖。年,拉宾发明了一种快速随机化算法来判断一个大数是否为素数。快速素数检查是大多数公钥密码体制的关键。拉宾在年获得图灵奖。年,Rabin等人提出了著名的字符串搜索算法Rabin——Karp算法。
TonyHoare
入选理由:
编程理论在软件工程实践中的应用TMonitorse的著名工作是年提出的快速排序算法。他提出了计算机领域著名的哲学家吃饭问题,并发明了显示器作为同步程序来解决这个问题。他的贡献包括:霍尔逻辑、Occam编程语言等。年,托尼·霍尔获得图灵奖。
ManuelBlum
入选理由:
在密码学和程序检查应用中,他为计算复杂性理论的创立做出了贡献。20世纪60年代,Manuel——Blum提出了一种独立于具体机器模型的公理复杂性理论。该理论以哥德尔数论和布卢姆公理为基础。这套理论不涉及机器模型的任何应用,发展了压缩定理、间隙定理、诚实定理、布卢姆加速度定理等。ManuelBlum的其他工作包括中值中值(一种线性时间选择算法)、Blumshub伪随机数生成器、BlumGoldwasser密码系统和最近的captcha。年,曼努埃尔·布卢姆获得图灵奖。
AdiShamir
入选理由:
对密码学的贡献:阿迪沙米尔,以色列计算机科学家。RSA加密算法发明家。除了RSA,Shamir在密码学领域的其他发明和贡献还包括Shamir秘密贡献方案、Merkle——Hellman背包密码系统破解、可视密码学、twirl和twinke分解装置。20世纪80年代末,他和Eli——Biham发现了差分密码分析,这是一种攻击分组密码的通用方法。Shamir在密码学的计算机科学中做出了贡献,如发展了第一个对偶可满足线性时间算法,证明了复杂度类pspace和IP的等价性。年,阿迪·沙米尔获得图灵奖。
WhitfieldDiffie和MartinHellman
△WhitfieldDiffie
△MartinHellman
入选理由:
发明了非对称公钥加密技术,开发了一种实用的加密密钥交换方法。惠特菲尔德·迪菲和马丁·赫尔曼都是非对称公钥密码术的发明者,也是年图灵奖得主。他们的论文《密码学的新方向》发表于年。本文介绍了一种新的密钥分配方法,它对解决密码学中的一个基本问题起到了重要的作用。它被称为Diffie——Hellman密钥交换,但Hellman认为Merkle的贡献应该被称为Diffie——Hellman——Merkle密钥交换。他们的研究成果直接导致了一类新的加密算法的发展,即公钥加密和非对称加密。
nian年两人同获图灵奖。
为啥图灵奖得主今年才集体入选?
我们需要从ACM伙伴选择的流程、要求和标准入手。根据ACM官方网站公布的遴选规则,入选ACM院士的科学家必须在提名之年起10年内具备5年ACM专业成员经验。在符合资格后,提名由具有高资格和声誉的现任ACM专业成员发起。要被提名为ACMfellow,需要五名ACM专业成员(不一定是ACMFellow)的认可,以证明候选人在研究领域的贡献和成功。
候选人本身必须在技术和领导能力方面对计算机领域产生持久的影响。比如,具体的理论和实践就体现了创新性、独创性和创造性。技术领先,提出新概念、新产品、新系统,推动计算机的发展。作为领导者,他为ACM计算机行业做出了突出贡献。
被提名人必须自愿参加评审,经各方同意的提名无效。提名提交后,将由ACM委员会进行评估和审查。从这个角度来看,ACMfellow和ACM颁发的图灵奖之间没有直接和充分的关系。图灵奖得主不一定是ACM的同伙。像今年一样,被选为七大精神奖的大人物实属罕见。库比特从知情人士处了解到,今年ACM官员在遴选院士时,专门成立了一个小组,对部分入选的图灵奖得主进行全面评估。这是一个伟大的成就。
另外,今年还有多位华人科学家入围,具体如下:
哪13位华人学者入选?
张耀文-台湾大学
入选理由:
张耀文,国立台湾大学电机系特聘教授,电机与资讯科技学院院长,IEEE研究员。主要领域:电子设计自动化(EDA)、集成电路实体设计、集成电路可制造性设计。他是第一位当选的非欧美IEEEEDA董事会主席。张耀文于年和年分别获台湾大学计算机科学与信息工程学士学位和德州大学奥斯汀分校计算机科学硕士、博士学位。他是IEEE研究员,目前是IEEEEDA理事会(CEDA)的当选主席,这是第一位非美国/欧洲民选主席。
陈怡然-杜克大学
入选理由:
对非易失性存储的贡献陈怡然,杜克大学电子与计算机工程系教授,杜克大学计算进化智能中心主任,美国国家科学基金会新型可持续智能计算中心主任,IEEE研究员。主要研究方向:非易失性存储器与存储系统、机器学习与神经形态计算、移动计算。陈怡然于年获得清华大学硕士学位和普渡大学博士学位。博士毕业后,陈怡然先后进入新思科技和希捷。在工业界工作5年后,他于年加入匹兹堡大学担任助理教授,年晋升为副教授,并被授予“双世纪校友”讲师的终身职位。年7月,陈怡然加入杜克大学,成为杜克大学计算进化智能中心主任。陈怡然在专著中发表学术论文余篇,获得美国专利93项,曾任IEEE和ACM期刊编辑部委员,40多个国际会议的组织和技术委员会主席和委员。陈怡然教授获得6次国际会议最佳论文提名和12篇最佳论文提名。
任奎-浙江大学
入选理由:
任奎是浙江大学求实教授。现任网络空间安全学院院长、计算机科学与技术学院副院长、计算机创新技术研究所执行院长、IEEE研究员、ACM杰出科学家。其主要研究领域有:云安全、物联网安全和隐私保护。年,阿里巴巴与浙江大学联合成立了“azft网络空间安全实验室”,由任奎和阿里巴巴首席算法专家陆全领衔。
申恒涛-电子科技大学
入选理由:
申恒涛,现任中国电子科技大学计算机科学与工程学院院长、人工智能学院执行院长。他是美国光学学会会员,也是ACM的杰出会员。他的研究兴趣包括多媒体搜索、计算机视觉、人工智能和大数据管理。
陶宇飞-香港中文大学
入选理由:
陶宇飞是中国香港大学计算机科学与工程系教授,复旦大学客座教授。他长期从事数据库算法的理论基础研究,并于被选为杰出的ACM科学家。年和年,他在数据库系统顶级会议SIGMOD上获得最佳论文奖。陶宇飞研究的目的是开发“小甜”的算法。小意味着在实践中易于实施和部署;甜意味着有重要的理论保障。
王伟-UCLA
入选理由:
王伟是加州大学洛杉矶分校计算机科学和计算医学教授,也是可扩展分析研究所(SCAI)所长。研究领域:大数据分析与建模、数据库系统、自然语言处理、生物信息学、计算生物学和计算医学。王伟年获得南开大学计算机科学学士学位,后赴加州大学洛杉矶分校攻读计算机科学博士学位。毕业后,他加入了北卡罗来纳大学教堂山分校,后来回到加州大学洛杉矶分校。从年到年,她是IBM沃森研究中心的研究员,并连续两年获得IBM发明成就奖。
周昆-浙江大学
入选理由:
周昆年生于湖南岳阳,年获浙江大学工学博士学位。现任浙江大学计算机辅助设计与图形学国家重点实验室主任。教育部长江学者特聘教授,国家杰出青年科学基金获得者,IEEE研究员。研究领域包括计算机图形学、计算机视觉、人机交互和虚拟现实。发表论文80余篇,引用次数1万余次,获得发明专利50余项。周昆教授提出了真实感图形中常用数据结构的行构造和访问方法,建立了适合GPU的真实感图形绘制流水线,设计了高效的GPU经典绘制算法的绘制方法,开发了具有自主知识产权的真实感图形画线软件。这些成果表明了在交互式速度下实现电影级真实感图形绘制的可行性,引领了学术界基于GPU的真实感图形绘制技术的研究方向,为工业上基于GPU的真实感图形绘制系统的开发打下了基础。
李学龙-西北工业大学
入选理由:
李学龙,毕业于中国科技大学,西北工业大学教授。李学龙教授,西安光学精密机械研究所研究员、博士生导师,瞬态国家重点实验室副主任,光学图像分析与学习中心主任,中科院光谱成像技术重点实验室副主任。主要工作领域是图像视频处理和模式识别的应用研究。他被选为世界上被引用最多的工程和计算学者之一。他被选为AAASIEEEFellowA研究员、SPIE研究员、IEEE研究员、IAPR研究员等。
颜水成
入选理由:
颜水成于年加入北京大学数学系,师从程乾生教授。年就读于北京大学,获北京大学数学硕士、博士学位。年,颜水成在微软亚洲研究院实习。毕业于微软亚洲研究院后,颜水成前往中国香港大学进行面部识别相关研究工作。两年后,他到UIUC进行博士后研究,并与美国工程院院士、中国计算机视觉教授托马斯·黄(ThomasHuang)一起学习。年,颜水成加入新加坡国立大学,创办了机器学习与计算机视觉实验室,任期一年。颜水成博士团队提出的“网中网”(NIN)网络结构的核心1×1卷积是近年来计算机视觉深度学习模型的一个标准模块,在学术界和工业界有着深远的影响。它的思想被后来的googlenet和RESNET等模型所采用。
年9月,颜水成准备赴任研究院院长及首席科学家。
年,颜水成正式加入依图科技,任CTO。
年1月,颜水成被曝离开依图,加入腾讯旗下东南亚电商品牌Shopee。
吕晨阳-华盛顿大学
吕晨阳教授于年和年在中国科学院获得计算机科学学士和硕士学位。他于年获得弗吉尼亚大学博士学位。入选理由:现任圣路易斯华盛顿大学计算机科学与工程系教授。他的研究兴趣包括嵌入式和实时系统、网络物理系统、物联网、移动医学和临床人工智能。吕晨阳教授研制并试运行了世界上第一套大型临床监护系统。他对实时系统的贡献包括自适应实时中间件、工业无线传感器网络和实时虚拟化技术,这些技术被集成到全球主流系统软件中。吕晨阳教授发表论文余篇,被引用2.3万余次。H指数为71。年至年,担任《传感器网络ACM交易》主编,
年至年担任IEEE实时系统技术委员会(TCRTS)主席。
CathyH.Wu-特拉华大学
入选理由:对生物信息学、计算生物学、知识挖掘和语义数据集成的贡献
Cathyh.Wu是特拉华大学工程和计算机科学系以及生物信息学和计算生物学中心(cbcb)的主任。吴凯茜博士具有生物科学和计算机科学的双重背景。年获国立台湾大学植物病理学学士学位。年和年,他在普渡大学和密歇根州立大学获得植物病理学博士学位。年,她获得德克萨斯大学泰勒分校计算机科学硕士学位。从事生物信息学和数据科学25年。她的研究领域包括基因组和蛋白质注释、生物医学文本挖掘、生物医学本体、基因疾病药物网络建模和大数据分析。领导全球多个生物信息资源的开发,包括蛋白质信息资源和国际UniProt联盟。
WangYi-瑞典乌普萨拉大学
王毅,瑞典乌普萨拉大学信息技术系教授。入选理由:王毅曾为实时系统的自动分析和验证做出贡献。年获东北大学计算机工程学士学位。年,他在瑞典查尔默斯理工大学获得博士学位。主要研究方向是CPS设计与动态、安全关键嵌入式系统、实时系统、实时调度、建模与验证。
StevenH.Low-加州理工学院
Stevenh.low现任加州理工学院计算机与数学科学系和电气工程系教授,浙江大学客座教授。入选理由:基于互联网拥塞控制和智能电网优化的理论基础和实践部署,史蒂文h.洛于年获得康奈尔大学学士学位,年获得加州大学伯克利分校博士学位。Stevenh.low以其对网络拥塞控制、算法和电力系统优化理论及数学建模的研究而闻名。Low建立了大规模网络(如Internet)中端到端拥塞控制的数学理论,它对资源分配、路由和网络结构都有影响。基于这一数学理论,设计了一种新的拥塞控制算法fast——TCP,在实验室搭建了一个独特的广域网测试平台,打破了数据传输的世界纪录。他的工作对于改变拥塞控制研究和陆地速度记录竞赛的重点,从参数调整到算法设计和分析,起到了重要的作用。目前,他的研究开始集中在智能电网中分布式能源的控制和优化上。