美国计算机学会(ACM)于今日公布了2020年度ACM Fellow名单,其中包括陈怡然、颜水成、周昆、申恒涛、陶宇飞、王薇、Cathy Wu、李学龙、吕晨阳、任奎、王义、张耀文等12位华人学者!而在这次获奖名单公布过程中,多位图灵奖得主坐镇,包括Whitfield Diffie、Adi Shamir、Manuel Blum等人均在此次ACM Fellow名单名单中!
ACM (Association for Computing Machinery ) 中文:国际计算机学会,是一个世界性的计算机从业员专业组织,创立于1947年,是世界上第一个科学性及教育性计算机学会,目前在全世界130多个国家和地区拥有超过10万名的会员。ACM是全世界计算机领域影响力最大的专业学术组织。ACM所评选的图灵奖(A.M. Turing Award)被公认为世界计算机领域的诺贝尔奖。现任主席为Vicki L. Hanson教授。
ACM Fellow是由美国计算机协会(Association for Computing Machinery, ACM)授予资深会员之荣誉,表扬对于计算机相关领域有杰出贡献之学者,审查过程十分严格,每年遴选一次。全世界共有五百多位ACM Fellows,华裔院士二十余人。往年华裔院士名单如下:Yong Rui (芮勇) 、Jin-Yi Cai(蔡进一)、Andrew A. Chien、Tse-Yun Feng、Jiawei Han(韩家炜)、Wen-Mei Hwu(胡文美)、Simon Lam、D.T. Lee(李德财)、John A. N. Lee、Ruby B. Lee(李佩露)、Kai Zhen(李凯)、Yi-Bing Lin(林一平)、C.L. Liu(刘炯朗)、Chung-Jen Tan、Benjamin W. Wah(华云生)、Jeannette M. Wing、Chak-Kuen Wong(黄泽权)、Andrew C.-C. Yao(姚期智)、XiaotieDeng(邓小铁)、Philip S. Yu、Harry Shum(沈向洋)、Ming-Syan Chen(陈铭宪)、 Peter Pin-Shan Chen (陈品山)、Wenfei Fan(樊文飞)、Tao Jiang(姜涛)XiaoDong Zhang(张晓东)、Yunhao Liu(刘云浩)及 Zhi-Hua Zhou(周志华)。2008年,我国著名学者高文教授成为第一位当选时在中国大陆任职的ACM Fellow。
本次选出的95名ACM Fellow ,分别在人工智能、云计算、计算机图形学、计算生物学、数据科学、安全和隐私、软件工程、量子计算和网络科学等领域做出了广泛的基础性贡献。
以下为12位华人学者介绍:
陈怡然
杜克大学电子与计算机工程终身正教授、IEEE Fellow、杜克大学计算进化智能中心(CEI)主任、美国 NSF 新型可持续智能计算产学合作中心主任。专注于研究新型存储系统、机器学习和神经形态计算,以及移动计算系统。1998年获得清华大学理学学士学位,2001年获清华硕士学位,2005年获普度大学博士学位。在工业界工作五年后,他于2010年加入匹兹堡大学担任助理教授,后于2014年晋升为终身副教授,并获双世纪校友讲席。他同时也是 NSF CAREER奖、ACM SIGDA杰出新教师奖、德国洪堡资深学者研究奖和IEEE SYSC/CEDA TCCPS职业中期奖的获得者,并被列入HPCA名人堂。陈教授出版过一本专著并发表过400多篇技术论文。他获得过96项美国专利,担任或曾担任十多个国际学术论文/期刊的副主编,并曾在60多个国际会议的技术和组织委员会任职。他现在是IEEE电路和系统( IEEE Circuits and Systems )杂志的主编。他获得过七次最佳论文奖,一次最佳 poster奖,以及十四次最佳论文提名。
入选理由:对非易失性内存技术的贡献。
个人主页:https://ece.duke.edu/faculty/yiran-chen
颜水成
前依图科技首席技术官,新加坡国立大学终身机器学习与计算机视觉实验室负责人,IEEE Fellow、IAPR Fellow,曾任 360 集团副总裁、首席科学家与人工智能研究院院长。主要研究领域为计算机视觉、机器学习与多媒体分析。本科就读于北京大学数学科学学院,在微软亚洲研究院实习期间,先后师从人脸识别和智能视频监控专家李子青和计算机视频检索研究领域的“开山鼻祖”张宏江,还与前滴滴研究院院长何晓飞一同搭档发表 4 篇单篇引用过千的论文。他们将 Subspace Learning 与 Manifold Learning 两个当时非常火爆的领域巧妙而简单地串联了起来。2006年,颜水成在伊利诺伊大学香槟分校(UIUC)做博士后研究,师从计算机视觉大师黄煦涛(Thomas Huang)。2007年12月,颜水成教授加入新加坡国立大学,其团队在五年内获得了计算机视觉领域的核心竞赛即PASCAL视觉对象类和ImageNet大规模视觉识别挑战赛的十余次冠军或荣誉奖,以及十多次(最佳)学生论文 奖项。此外,颜水成团队提出的“Network in Network”(NIN)网络结构的核心 1×1 卷积,在近年来几乎被所有计算机视觉深度学习模型当作标准模块,后期出现的 GoogleNet、ResNet等模型也借鉴了其思想。他的团队开发的“Purine”是全球第一个开源的支持多机多GPU的深度学习系统。
入选理由:对视觉内容理解技术与应用的贡献。
个人主页:https://www.ece.nus.edu.sg/stfpage/eleyans/
周昆
浙江大学计算机系教授,IEEE Fellow,兼任浙江大学计算机辅助设计与图形学国家重点实验室主任,教育部长江学者特聘教授,国家杰出青年科学基金获得者。主要研究方向为计算机图形学、计算机视觉、人机交互和虚拟现实。在ACM/IEEE Transactions上发表论文80余篇,论文引用1万余次,获得发明专利50余项。此外,他曾获得2009年NVIDIA Professor Partnership Award、2010年中国计算机图形学杰出奖、2011年中国青年科技奖、2011年《麻省理工学院技术评论》全球杰出青年创新人物奖 (MIT TR35 Award)、2012年中组部首批青年拔尖人才支持计划、2013年国家自然科学二等奖、2016年陈嘉庚青年科学奖、2017年浙江省自然科学一等奖。
入选理由:对计算机图形学的贡献。
个人主页:https://person.zju.edu.cn/kunzhou
申恒涛
申恒涛教授,美国光学学会会士和ACM杰出会员,是电子科技大学计算机科学与工程学院院长,电子科技大学人工智能研究院执行院长,四川省人工智能研究院(宜宾)院长。他分别于2000年和2004年获得了新加坡国立大学计算机科学系一等荣誉学士和博士学位。随后加入昆士兰大学并于2011年底成为教授。他一直从事最前沿的计算机科学研究,研究方向包括多媒体搜索,计算机视觉,人工智能,和大数据管理。
申恒涛累计发表了300+篇高水平同行评审论文,其中包括200多篇CCF A类论文, 并获得了8个国际会议和期刊的最佳论文奖,包括A类会议ACM Multimedia 2017 最佳论文奖和ACM SIGIR 2017 最佳论文-Honourable Mention奖,以及IEEE Transactions on Multimedia 2020最佳论文奖。
入选理由:对大规模多媒体内容的理解、索引和检索的贡献。
个人主页:https://cfm.uestc.edu.cn/~shenht/#
陶宇飞
香港中文大学计算机与工程系教授,复旦大学兼职教授。主要研究兴趣是开发“小而精”的算法,以及数据库、机器学习与理论计算机科学的交叉研究。他在2002年于香港科技大学获得计算机科学博士学位,师从 Dimitris Papadias 教授。他曾在CMU担任访问科学家、香港城市大学担任助理教授、昆士兰大学担任教授。曾获得2002年香港杰出科学家奖、SIGMOD 2013/2015 最佳论文奖、2016年谷歌教职研究奖、PODS 2018 最佳论文奖等。
入选理由:对用于大规模数据处理的算法的贡献。
个人主页:https://www.cse.cuhk.edu.hk/~taoyf/
王薇
加利福尼亚大学洛杉矶分校(UCLA)计算机系 Leonard Kleinrock 讲席教授,Scalable Analytics Institute 主任,Jonsson Comprehensive 癌症中心、量子计算生物研究所成员。主要研究兴趣为大数据分析、数据挖掘、数据库系统、自然语言处理、生物信息学、计算机生物与计算医疗。她于1999年从UCLA获得计算机科学博士学位,曾于1999年至2002年在IBM T. J. Watson中心担任研究员,于2002年至2012年在北卡罗来纳大学教堂山分校计算机系担任教授。她曾获得 IBM 发明成就奖、微软研究 New Faculty Fellow。
入选理由:对数据挖掘的奠基与实践的贡献。
个人主页:http://web.cs.ucla.edu/~weiwang/
(吴凯茜)Cathy H. Wu
特拉华大学生物信息与计算生物中心 Edward G. Jefferson 主席与教授,蛋白质信息资源(PIR) 主任,乔治城大学医学中心兼职教授。主要研究兴趣包括蛋白质家族分类和功能注释、生物数据整合和文本挖掘。她在1978年本科毕业于国立台湾大学植物病理学,随后于1982年获得美国普渡大学植物病理学硕士学位,1984年获得普渡大学博士学位。博士毕业后,她继续求学之路,1986年在密歇根州立大学获得分子生物博士后学位,并于1989年在德克萨斯大学获得计算机科学硕士学位,硕士毕业论文主题是使用人工神经网络来分类蛋白质,导师为George M. Witson III。之后,1989年至1994年,她在德克萨斯大学计算机系担任助理教授,教计算机科学的课程,又在德克萨斯大学健康中心担任助理教授、副教授与教授。吴自1990年以来一直从事生物信息学研究,并开发了几个蛋白质分类系统和数据库。
入选理由:对生物信息学、计算生物、知识挖掘与语义数据聚合的贡献。
个人主页:https://bioinformatics.udel.edu/people/personnel/cathy_wu/
李学龙
李学龙,国际欧亚科学院院士、西北工业大学教授、博导,校学术委员会副主任。毕业于中国科学技术大学,关注高维数据的智能获取、处理和管理。在应用系统中发挥作用。在工程和计算两个领域入选全球高被引科学家。 此外,还入选美国科学促进会会士(AAAS Fellow)、美国光学学会会士(OSA Fellow)、国际光学工程学会会士(SPIE Fellow)、国际电气电子工程师协会会士(IEEE Fellow)、国际模式识别学会会士(IAPR Fellow)等。2018年,获得“钱伟长中文信息处理科学技术奖”一等奖。
入选理由:对计算高阶数据以及从高阶数据中学习的贡献。
个人主页:https://teacher.nwpu.edu.cn/2018010290.html
吕晨阳
吕晨阳,圣路易斯华盛顿大学计算机科学与工程系教授,研究领域包括实时系统、无线传感器网络和物联网。他是“ACM Transactions on Sensor Networks”的期刊主编、IEEE IOT期刊的区域编辑。此外,他发表了150多篇研究论文的作者,被引用超过14,000次,h指数为54。
他1995年在中国科技大学念完本科,1997年获得中国科学院硕士学位,2001年在弗吉尼亚大学获得博士学位。
入选理由:表彰其在自适应实时系统、实时虚拟化和无线网络物理系统方面的贡献。
个人主页:https://www.cse.wustl.edu/~lu/
任奎
浙江大学求是讲席教授,目前担任浙江大学网络空间安全学院院长、计算机科学与技术学院副院长、计算机创新技术研究院执行院长,此前入选 IEEE Fellow。主要研究方向为云安全、物联网安全与隐私保护,是其研究领域的权威专家。任奎教授发表了280余篇同行评议的期刊与会议文章,获得了包括IEEE INFOCOM’20、IEEE Globecom’19, 中国密码学会’18、ACM ASIACCS’18、IEEE ICDCS’17、IWQoS’17,ICNP’11等在内的多篇最佳论文和时间考验论文奖。他的H-Index为69,文章总引用次数超过30,000次,并入选科睿唯安高被引科学家。同时任奎教授的多项研究成果在工业界有广泛应用。
入选理由:对无线系统安全与云数据安全的贡献。
个人主页:https://person.zju.edu.cn/kuiren
王义
瑞典乌普萨拉大学信息技术系教授,主要研究兴趣为 CPS 的设计与动态更新、安全至上的嵌入实时系统、实时调度、建模与验证。1982年本科毕业于中国东北大学计算机工程专业,随后赴瑞典查尔姆斯理工大学攻读计算机科学博士预科与博士学位。2014年当选 IEEE Fellow。曾获得2019年 IEEE TCRTS Award、RTSS 2099/2015/2017 最佳论文奖、ECRTS 2015最佳论文奖、DATE 2013最佳论文奖、ETAPS 2002 最佳工具论文奖。
入选理由:对实时系统的自动化分析与验证的贡献。
个人主页:http://user.it.uu.se/~yi/
张耀文
张耀文,国立台湾大学电机工程系特聘教授,他在1988年获得国立台湾大学学士学位,在1993年获得德克萨斯大学奥斯汀分校硕士学位,1996年获得德克萨斯大学奥斯汀分校博士学位。研究领域为电子设计自动化、积体电路实体设计、积体电路可制造性设计等。
入选理由:为算法电子设计自动化做出贡献。
个人主页:https://www.ee.ntu.edu.tw/profile1.php?teacher_id=943001&p=3
以下为完整入选名单:
Daniel J. Abadi University of Maryland For contributions to stream databases, distributed databases, graph databases, and column-store databases | Samuel Madden Massachusetts Institute of Technology For contributions to data management and sensor computing systems |
James Allan University of Massachusetts Amherst For contributions to information retrieval, including topic detection and tracking | Scott Mahlke University of Michigan For contributions in compiler code generation for instruction level parallelism, and customized microprocessor architectures |
Srinivas Aluru Georgia Institute of Technology For contributions to parallel methods in computational biology and leadership in data science | David Maltz Microsoft Azure For contributions to networking infrastructure, including data center networking, network operating systems, and cloud networking |
Andrea C. Arpaci-Dusseau University of Wisconsin For contributions to storage and computer systems | Volker Markl TU Berlin For contributions to query optimization, scalable data processing, and data programmability |
Remzi Arpaci-Dusseau University of Wisconsin For contributions to storage and computer systems | Maja Mataric University of Southern California For contributions to socially assistive robotics and human-robot systems |
Suman Banerjee University of Wisconsin-Madison For contributions to design, implementation, and tools of wireless systems | Filippo Menczer Indiana University For research on the vulnerability of social media networks to disinformation and manipulation |
Manuel Blum Carnegie Mellon University For contributions to the foundations of computational complexity theory and its application to cryptography and program checking | Jose Meseguer University of Illinois at Urbana-Champaign For the development of logical methods for design and verification of computational systems |
Lionel Briand University of Ottawa and University of Luxembourg For contributions to automated software testing | Meredith Ringel Morris Microsoft Research For contributions to human-computer interaction, information retrieval, computer-supported cooperative work, and accessibility |
David Brooks Harvard University For contributions to software and hardware design for power-efficient computer architectures | Nachiappan Nagappan Microsoft Research For contributions to empirical software engineering and data-driven software development |
Ran Canetti Boston University For contributions to cryptography and computer security | Radhika Nagpal Harvard University For contributions to collective intelligence, including self-organizing systems and swarm robotics |
John Canny University of California, Berkeley For contributions in robotics, machine perception, human-computer interaction, and ubiquitous computing | Moni Naor Weizmann Institute of Science For contributions to the foundations of cryptography and theoretical computer science |
Anantha Chandrakasan Massachusetts Institute of Technology For energy-efficient design methodologies and circuits that enabled ultralow-power wireless sensors and computing devices | Chandrasekhar Narayanaswami IBM T.J. Watson Research Center For design and development of the Linux Watch and SoulPad, which influenced wearable and mobile systems |
Yao-Wen Chang National Taiwan University For contributions to algorithmic electronic design automation | Sam H. Noh UNIST For contributions to storage system software, including flash and byte-addressable non-volatile memory |
Moses Charikar Stanford University For design of efficient algorithmic techniques for big data, hashing, approximation algorithms, and metric embeddings | Prakash Panangaden McGill University For making continuous state systems amenable to logical and computational treatment |
Yiran Chen Duke University For contributions to to nonvolatile memory technologies | Sethuraman Panchanathan Arizona State University For contributions to multimedia technologies and leadership in the scientific community |
Graham R. Cormode University of Warwick For contributions to data summarization and privacy enabling data management and analysis | Manish Parashar Rutgers University For contributions to high-performance parallel and distributed computing and computational science |
Patrick Cousot New York University For contributions to programming languages through the invention and development of abstract interpretation | Keshab K. Parhi University of Minnesota For contributions to architectures and design tools for signal processing and networking accelerators |
Mathieu Desbrun California Institute of Technology For contributions to geometry processing and discrete differential geometry | Haesun Park Georgia Institute of Technology For contributions to numerical algorithms, data analytics, and leadership in computational science and engineering |
Whitfield Diffie Findora Advanced Research Center For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method | Gordon Plotkin University of Edinburgh For contributions to the science of programming languages, particularly their operational and denotational semantics |
Bonnie J. Dorr IHMC For human-centered and linguistically inspired approaches to natural language processing | Michael O. Rabin Harvard University For the introduction of nondeterministic automata, probabilistic automata, and for contributions to computability and computational complexity theory |
Nicholas Duffield Texas A&M University For contributions to network measurement and analysis | Kui Ren Zhejiang University For contributions to wireless system security and cloud data security |
Alan Edelman Massachusetts Institute of Technology For contributions to algorithms and languages for numerical and scientific computing | Paul Resnick University of Michigan For contributions to recommender systems, economics and computation, and online communities |
Thomas Eiter TU Wien For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving | Mary Beth Rosson Pennsylvania State University For contributions to human-computer interaction, including scenario-based design |
Cormac Flanagan University of California, Santa Cruz For contributions to static and dynamic program debugging and verification methods | Steven Salzberg Johns Hopkins University For contributions to computational biology, including software for DNA sequence analysis, alignment, and genome assembly |
Jodi Forlizzi Carnegie Mellon University For contributions to design research in human-computer interaction | Sanjit Arunkumar Seshia University of California, Berkeley For contributions to formal verification, inductive synthesis, and cyber-physical systems |
Dieter Fox University of Washington For contributions to probabilistic state estimation, RGB-D perception, and learning for robotics and computer vision | Adi Shamir Weizmann Institute of Science For contributions to the field of cryptography |
Sanjay Ghemawat For contributions to distributed systems design | Heng Tao Shen University of Electronic Science and Technology of China For contributions to large-scale multimedia content understanding, indexing and retrieval |
Antonio Gonzalez Universitat Politecnica de Catalunya For contributions to the design of energy-efficient and resilient computer architectures | Amit Sheth University of South Carolina For contributions to data semantics and knowledge-enhanced computing |
Andrew D. Gordon Microsoft Research and University of Edinburgh For contributions to programming languages: their principles, logic, usability, and trustworthiness | Adam Smith Boston University For contributions to data privacy and cryptography |
Steven Gribble For contributions to virtualization technology across clusters, servers, and networks | Olga Sorkine-Hornung ETH Zurich For contributions to digital geometry processing, computer animation, computer graphics and visual computing |
Susanne E. Hambrusch Purdue University For research and leadership contributions to computer science education | Rick L. Stevens Argonne National Laboratory For contributions in high-performance computing systems, collaborative environments, and tools for large-scale science initiatives |
Martin Hellman Stanford University For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method | Peter Stone University of Texas at Austin For contributions to automated planning, learning, and multiagent systems with applications in robotics and ecommerce |
Nicholas Higham University of Manchester For contributions to numerical linear algebra, numerical stability analysis, and communication of mathematics | Yufei Tao Chinese University of Hong Kong For contributions to algorithms for large scale data processing |
C. Anthony (“Tony”) R. Hoare University of Cambridge For contributions to the theory of programming, and its application to the practice of engineering of software | Leandros Tassiulas Yale University For contributions to network control and optimization with applications in communication networks |
Holger H. Hoos Leiden University For contributions to automated algorithm selection and configuration for optimization and machine learning | Kenneth Lane Thompson For contributions to the development of operating systems theory and for the implementation of the UNIX operating system |
Ihab F. Ilyas University of Waterloo For contributions to data cleaning and data integration | Andrew Tomkins For contributions to the understanding of the web and web-based social networks |
Lizy Kurian John University of Texas at Austin For contributions to the design, modeling and benchmarking of computer architectures | Olga Troyanskaya Princeton University and Simons Foundation For contributions to computational biology, data integration |
Joost-Pieter Katoen RWTH Aachen University For contributions to model checking of software and probabilistic systems | Matthew A. Turk Toyota Technological Institute at Chicago and University of California, Santa Barbara For contributions to face recognition, computer vision, and multimodal interaction |
Nam Sung Kim Samsung For contributions to design and modeling of power-efficient computer architectures | Wil Van Der Aalst RWTH Aachen University For contributions to process mining, process management and data science |
Sven Koenig University of Southern California For contributions to artificial intelligence, including heuristic search and multi-agent coordination | Toby Walsh University of New South Wales and CSIRO Data61 For contributions to artificial intelligence |
David Kotz Dartmouth College For contributions to the security, privacy, and usability of mobile systems | Wei Wang University of California, Los Angeles For contributions to the foundation and practice of data mining |
Arvind Krishnamurthy University of Washington For contributions to networks and distributed computer systems | Laurie Ann Williams North Carolina State University For contributions to empirical research on agile software development, software security, and software engineering education |
Ravi Kumar Google Research For contributions to web science modeling, analytics, and algorithms | Cathy H. Wu University of Delaware For contributions to bioinformatics, computational biology, knowledge mining and semantic data integration |
Zhou Kun Zhejiang University For contributions to computer graphics | Shuicheng Yan YITU Technology For contributions to visual content understanding techniques and application |
Brian Levine University of Massachusetts Amherst For contributions to network forensics, security, and privacy, and for thwarting crimes against children | Wang Yi Uppsala University For contributions to the automated analysis and verification of real-time systems |
Kevin Leyton-Brown University of British Columbia For contributions to artificial intelligence, including computational game theory, multi-agent systems, machine learning, and optimization | Michael J. Zyda University of Southern California For contributions to game design, game and virtual reality networking, and body tracking |
Xuelong Li Northwestern Polytechnic University For contributions to computing on and learning from higher-order data | |
Steven H. Low California Institute of Technology For theoretical foundations and real-world deployment of Internet congestion control and smart grid optimization | |
Chenyang Lu Washington University in St. Louis For contributions to adaptive real-time systems, real-time virtualization, and wireless cyber-physical |