ACM Names Fellows for Innovations in Computing

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/Tel-Aviv University
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