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