【重磅】ACM Fellow2020名单出炉：95名科学家晋升， 颜水成、周昆、任奎、申恒涛等12位华人当选

【导读】刚刚，ACM（计算机协会）发布了今年新入选的 95 名 ACM Fellow，表彰他们在人工智能、云计算、计算机图形学、计算生物学、数据科学、人机交互、软件工程、理论计算机科学和虚拟现实等领域做出了广泛和基础的贡献。2020年ACM研究员的成就推动了创新，引领了技术、工业和个人生活的许多领域的重大进步。

ACM Fellow旨在表彰在计算和信息技术方面取得杰出成就的前1%的ACM成员，以及/或为ACM和更广泛的计算社区提供杰出的服务。研究员由他们的同行提名，并由一个杰出的遴选委员会审查提名。

华人代表7人入选ACM Fellow， 张耀文、陈怡然、任奎、申恒涛、陶宇飞、颜水成、周昆、李学龙等。国内电子科技大学申恒涛教授，浙江大学任奎和周昆教授、西北工业大学李学龙教授入选。

ACM 主席加Gabriele Kotsis解释说:“今年，我们挑选2020年ACM Fellow的任务有点更具挑战性，因为我们从世界各地获得的提名数量创了记录。”“2020年的ACM研究员已经证明了计算机的许多学科的卓越。这些人对改变整个行业和我们个人生活的技术做出了关键的贡献。我们非常期待这些新的ACM Fellow能够在各自的领域继续走在前列。

2020年的成员来自澳大利亚、奥地利、加拿大、中国、德国、以色列、日本、荷兰、韩国、西班牙、瑞典、瑞士、英国和美国的大学、企业和研究中心，凸显了ACM的全球影响力。

2020年研究员的贡献涉及计算领域的许多子学科，包括算法、网络、计算机架构、机器人、分布式系统、软件开发、无线系统和网络科学等等。等。

2020 ACM Fellow 入选华人

• 张耀文 Yao-Wen Chang，台湾大学

   为对算法电子设计自动化的贡献

• 陈怡然，杜克大学

         对非易失性内存技术的贡献

•  任奎，浙江大学

       为无线系统安全和云数据安全做出贡献

• 申恒涛，电子科技大学

  为大规模多媒体内容的理解、索引和检索做出贡献

• 陶宇飞，香港中文大学

  对大规模数据处理算法的贡献

• Wei Wang，加州大学洛杉矶分校

  对数据挖掘的基础和实践做出了贡献

• 周昆，浙江大学

  对计算机图形学的贡献

• 颜水成，依图科技

  对视觉内容理解技术和应用的贡献

• Yi Wang，Uppsala University

  对实时系统的自动分析和验证做出贡献

• 李学龙，西北工业大学

  对高阶数据的计算和学习做出了贡献

• Chengyang Lu，Washington University in St. Louis

  对自适应实时系统、实时虚拟化和无线信息物理系统的贡献

• 吴凯茜（Cathy H. Wu） 特拉华大学 

         对生物信息学、计算生物学、知识挖掘和语义数据集成的贡献

2020 ACM Fellows

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 Google 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 Google 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 Google 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 Google 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 systems

参考地址：

https://www.acm.org/media-center/2021/january/fellows-2020

专知，专业可信的人工智能知识分发，让认知协作更快更好！欢迎注册登录专知www.zhuanzhi.ai，获取5000+AI主题干货知识资料！

欢迎微信扫一扫加入专知人工智能知识星球群，获取最新AI专业干货知识教程资料和与专家交流咨询！

点击“ 阅读原文 ”，了解使用 专知 ，查看获取5000+AI主题知识资源