The Association for Computing Machinery (ACM) has announced the names of the 2013 ACM Fellows, an honor bestowed upon inidividuals who have achieved significant advances in computing research and development.
The contributions of the 50 members named as 2013 Fellows span multiple disciplines within the field of computing. They hail from the world’s leading universities, corporations and research labs.
ACM President Vinton G. Cerf celebrated the impact of innovations achieved by this year’s ACM Fellows.
“We recognize these scientists and engineers, creators and builders, theorists and practitioners who are making a difference in our lives,” he said. “They’re enabling us to listen, learn, calculate, and communicate in ways that underscore the benefits of the digital age. Their advances have led to opportunities for improved healthcare, enhanced security, expanded interactions, and enriched lifestyles. Some recipients have also led efforts to extend computing across continents and countries including Brazil, China, and Germany.”
ACM will formally recognize the 2013 Fellows at its annual Awards Banquet on June 21, 2014, in San Francisco. Additional information about the ACM 2013 Fellows, as well as previous ACM Fellows and award winners is available on the ACM Awards site.
2013 Fellows
David J. Kasik, Boeing: For contributions to computer graphics, user interface software, and visual analytics
Mark S. Ackerman, University of Michigan: For contributions to human computer interaction, with emphasis on finding and sharing expertise
Zhengyou Zhang, Microsoft Research: For contributions to computer vision and multimedia
Douglas S. Lea, State University of New York, Oswego: For contributions to software, particularly in support of concurrency
Charu C. Aggarwal, IBM Research: For contributions to knowledge discovery and data mining algorithms
Yoelle Maarek, Yahoo!: For contributions to industrial leadership and to information retrieval and Web search
James H. Anderson, University of North Carolina at Chapel Hill: For contributions to the implementation and analysis of multiprocessor and multicore real-time systems
Christopher D. Manning, Stanford University: For contributions to natural language processing research and education
Mihir Bellare, University of California, San Diego: For contributions to provable security methods supporting high-quality, cost-effective cryptography
Madhav V. Marathe, Virginia Bioinformatics Institute and Virginia Polytechnic Institute: For contributions to high performance computing algorithms and software environments for simulating and analyzing socio-technical systems
Christine L. Borgman, University of California, Los Angeles: For contributions to research on human interaction with information systems, data practices, and information policy
John M. Mellor-Crummey, Rice University: For contributions to parallel and high performance computing
Stefano Ceri, Politecnico di Milano: For contributions to database management, including distributed databases, rule-processing, and search computing
Greg Morrisett, Harvard University: For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages
Krishnendu Chakrabarty, Duke University: For contributions to optimization methods for system-on-chip test automation, microfluidic biochips, and sensor network infrastructure
Andrew C. Myers, Cornell University: For contributions to languages and systems that use information flow for implementing secure computing systems
Ramalingam Chellappa, University of Maryland: For contributions to image processing, computer vision, and pattern recognition
Dana Nau, University of Maryland: For contributions to automated search and planning
Ingemar Cox, University of Copenhagen/University College London: For contributions to computer vision, image retrieval, and digital watermarking
Satish Rao, University of California, Berkeley: For contributions to algorithms for graph partitioning and for single- and multi-commodity flows
Carlos J. P. De Lucena, Pontifical Catholic University of Rio de Janeiro: For contributions in software engineering and multiagent systems, and for computer science leadership in Brazil
S.E. Robertson, University College London: For contributions to the theory and practice of information retrieval
Rina Dechter, University of California, Irvine: For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information
Timothy Roscoe, ETH Zurich: For contributions to operating systems and networking research
Chip Elliott, Raytheon BBN Technologies: For scientific contributions enabling quantum communications, advanced tactical networks, and programming literacy
Timoleon K. Sellis, RMIT University (Australia): For contributions to database query optimization, spatial data management, and data warehousing
David Forsyth, University of Illinois at Urbana-Champaign: For contributions to computer vision
Dennis E. Shasha, Courant Institute, New York University: For technical and literary contributions over a broad range of data management topics
Wen Gao, Peking University: For contributions to video technology, and for leadership to advance computing in China
Nir N. Shavit, Massachusetts Institute of Technology: For contributions to the theory and practice of synchronization in concurrent programming
David Garlan, Carnegie Mellon University: For contributions to the development of software architecture as a discipline in software engineering
Kyuseok Shim, Seoul National University: For contributions to scalable data mining and query processing
James Gosling, Liquid Robotics: For Java, NeWS, Emacs, NetBeans, and other contributions to programming languages, tools, and environments
Padhraic Smyth, University of California, Irvine: For contributions to probabilistic and statistical approaches to data mining and machine learning
Peter Haas, IBM Research – Almaden: For leadership in probabilistic methods for the management and analysis of data and for system simulation
Milind Tambe, University of Southern California: For contributions to theory and practice of multi-agent systems, teamwork and security games
Marti Hearst, University of California, Berkeley: For contributions to information retrieval and computational linguistics
Val Tannen, University of Pennsylvania: For contributions to query languages, query optimization and data provenance
Matthias Jarke, RWTH Aachen University (Germany Aachen University of Technology): For contributions to conceptual modeling, requirements engineering, metadata management, and computer science leadership in Germany
David P. Williamson, Cornell University: For contributions to the design and analysis of approximation algorithms
Sampath K. Kannan, University of Pennsylvania: For contributions to algorithmic approaches to program reliability, bioinformatics, and for service to the computer science research community
Limsoon Wong, National University of Singapore: For contributions to database theory and computational biology
Moti Yung, Google Inc: For contributions to cryptography and its use in security and privacy of systems
Dina Katabi, Massachusetts Institute of Technology: For contributions in cross-layer wireless networking, wireless network coding, and Internet congestion control
Ellen Zegura, Georgia Institute of Technology: For contributions to communication and computation in intermittingly-connected networks
Henry A. Kautz, University of Rochester: For contributions to artificial intelligence and pervasive computing with applications to assistive technology and health
Jon Kleinberg, Cornell University: For contributions to the science of information and social networks
Yuanyuan Zhou, University of California, San Diego: For contributions to software reliability and quality
Panganamala Kumar, Texas A&M University: For contributions to wireless communication and control technologies
David Zuckerman, University of Texas at Austin: For contributions to randomness extraction, pseudorandomness, and their role in complexity theory
ACM, the Association for Computing Machinery, is the world’s largest educational and scientific computing society, uniting computing educators, researchers and professionals to inspire dialogue, share resources and address the field’s challenges.
The ACM Fellows Program, initiated in 1993, celebrates the exceptional contributions of the leading members in the computing field. These individuals have helped to enlighten researchers, developers, practitioners and end users of information technology throughout the world. The new ACM Fellows join a distinguished list of colleagues to whom ACM and its members look for guidance and leadership in computing and information technology.