ACM Names Fellows for Achievements in Computing

The Association for Computing Machinery (ACM) has announced the names of 47 members who will be recognized as ACM Fellows for their exceptional contributions to computing. Fellowship is ACM's most prestigious member grade, and is held by only 1% of ACM members. The 2014 ACM Fellows hail from some of the world’s leading universities, corporations and research labs. They have achieved advances in computing research and development that are driving innovation and sustaining economic development around the world.

One of the newly-named ACM Fellows, Adam Finkelstein of Princeton University, is a dedicated ACM SIGGRAPH volunteer who chaired the SIGGRAPH 2014 Technical Papers program. Finkelstein was selected for his contributions to non-photorealistic rendering, multi-resolution representations and the field of computer graphics in general.

The 2014 ACM Fellows have been cited for contributions to key computing fields including database mining and design, artificial intelligence and machine learning, cryptography and verification, Internet security and privacy, computer vision and medical imaging, electronic design automation and human-computer interaction. According to ACM President Alexander L. Wolf, the honors extended to these new fellows are well-deserved. “Our world has been immeasurably improved by the impact of their innovations," he said. "We recognize their contributions to the dynamic computing technologies that are making a difference to the study of computer science, the community of computing professionals, and the countless consumers and citizens who are benefiting from their creativity and commitment.”

Heartfelt congratulations to this year's ACM Fellows, who will be formally recognized at the ACM Awards Banquet in June in San Francisco. Additional information about the ACM 2014 Fellows, as well as previous ACM Fellows and award winners, is available on the ACM Awards site.

2014 ACM Fellows

Samson Abramsky University of Oxford For contributions to domains in logical form, game semantics, categorical quantum mechanics and contextual semantics	Leslie Lamport Microsoft Research For contributions to the theory and practice of distributed and concurrent systems
Vikram Adve University of Illinois at Urbana-Champaign For developing the LLVM compiler and for contributions to parallel computing and software security	Sharad Malik Princeton University For contributions to efficient and capable SAT solvers, and accurate embedded software models
Foto Afrati National Technical University of Athens For contributions to the theory of database systems	Yishay Mansour Tel-Aviv University For contributions to machine learning, algorithmic game theory, distributed computing, and communication networks
Charles Bachman Retired For contributions to database technology, notably the integrated data store	Subhasish Mitra Stanford University For contributions to the design and testing of robust computing systems
Allan Borodin University of Toronto For contributions to theoretical computer science, in complexity, on-line algorithms, resource tradeoffs, and models of algorithmic paradigms	Michael Mitzenmacher Harvard University For contributions to coding theory, hashing algorithms and data structures, and networking algorithms
Alan Bundy University of Edinburgh For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations	Robert Morris Massachusetts Institute of Technology For contributions to computer networking, distributed systems, and operating systems
Lorrie Cranor Carnegie Mellon University For contributions to research and education in usable privacy and security	Vijaykrishnan Narayanan Pennsylvania State University For contributions to power estimation and optimization in the design of power-aware systems
Timothy A. Davis Texas A&M University For contributions to sparse matrix algorithms and software	Shamkant B. Navathe Georgia Institute of Technology For contributions to data modeling, database design, and database education
Srinivas Devadas Massachusetts Institute of Technology For contributions to secure and energy-efficient hardware	Jignesh M. Patel University of Wisconsin, Madison For contributions to high-performance database query processing methods, in particular on spatial data
Inderjit Dhillon University of Texas at Austin For contributions to large-scale data analysis, machine learning and computational mathematics	Parthasarathy Ranganathan Google Inc. For contributions to the areas of energy efficiency and server architectures
Nikil D. Dutt University of California, Irvine For contributions to embedded architecture exploration and service to electronic design automation and embedded systems	Omer Reingold Weizmann Institute of Science/Stanford University For contributions to the study of pseudorandomness, derandomization and cryptography
Faith Ellen University of Toronto For contributions to data structures, and the theory of distributed and parallel computing	Tom Rodden University of Nottingham For contributions to ubiquitous computing and computer supported cooperative work
Michael D. Ernst University of Washington For contributions to software analysis, testing, and verification	Ronitt Rubinfeld Massachusetts Institute of Technology For contributions to delegated computation, sublinear time algorithms and property testing
Adam Finkelstein Princeton University For contributions to non-photorealistic rendering, multi-resolution representations, and computer graphics	Daniela Rus Massachusetts Institute of Technology For contributions to robotics and sensor networks
Juliana Freire New York University For contributions to provenance management research and technology, and computational reproducibility	Alberto Sangiovanni-Vincentelli University of California, Berkeley For contributions to electronic design automation
Johannes Gehrke Cornell University For contributions to data mining and data stream query processing	Henning Schulzrinne Columbia University For contributions to the design of protocols, applications, and algorithms for Internet multimedia
Eric Grimson Massachusetts Institute of Technology For contributions to computer vision and medical image computing	Stuart Shieber Harvard University For contributions to natural-language processing, and to open-access systems and policy
Mark Guzdial Georgia Institute of Technology For contributions to computing education, and broadening participation	Ramakrishnan Srikant Google Inc. For contributions to knowledge discovery and data mining
Gernot Heiser University of New South Wales/National Information and Communications Technology Australia (NICTA) Research Centre of Excellence For contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use	Aravind Srinivasan University of Maryland, College Park For contributions to algorithms, probabilistic methods, and networks
Eric Horvitz Microsoft Research For contributions to artificial intelligence and human-computer interaction	S. Sudarshan Indian Institute of Technology Bombay For contributions to database education, query processing, query optimization and keyword queries
Thorsten Joachims Cornell University For contributions to the theory and practice of machine learning and information retrieval	Paul Syverson Naval Research Lab For contributions to and leadership in the theory and practice of privacy and security
Michael Kearns University of Pennsylvania For contributions to machine learning, artificial intelligence, and algorithmic game theory and computational social science	Gene Tsudik University of California, Irvine For contributions to Internet security and privacy
Valerie King University of Victoria For contributions to randomized algorithms, especially dynamic graph algorithms and fault tolerant distributed computing	Steve Whittaker University of California, Santa Cruz For contributions to human computer interaction
Sarit Kraus Bar Ilan University For contributions to artificial intelligence, including multi-agent systems, human-agent interaction and non-monotonic reasoning