|
For contributions to stream databases, distributed databases, graph databases, and column-store databases
|
Massachusetts Institute of Technology
For contributions to data management and sensor computing systems
|
|
University of Massachusetts Amherst
For contributions to information retrieval, including topic detection and tracking
|
For contributions in compiler code generation for instruction level parallelism, and customized microprocessor architectures
|
|
Georgia Institute of Technology
For contributions to parallel methods in computational biology and leadership in data science
|
For contributions to networking infrastructure, including data center networking, network operating systems, and cloud networking
|
|
For contributions to storage and computer systems
|
For contributions to query optimization, scalable data processing, and data programmability
|
|
For contributions to storage and computer systems
|
University of Southern California
For contributions to socially assistive robotics and human-robot systems
|
|
University of Wisconsin-Madison
For contributions to design, implementation, and tools of wireless systems
|
For research on the vulnerability of social media networks to disinformation and manipulation
|
|
Carnegie Mellon University
For contributions to the foundations of computational complexity theory and its application to cryptography and program checking
|
University of Illinois at Urbana-Champaign
For the development of logical methods for design and verification of computational systems
|
|
University of Ottawa and University of Luxembourg
For contributions to automated software testing
|
For contributions to human-computer interaction, information retrieval, computer-supported cooperative work, and accessibility
|
|
For contributions to software and hardware design for power-efficient computer architectures
|
For contributions to empirical software engineering and data-driven software development
|
|
For contributions to cryptography and computer security
|
For contributions to collective intelligence, including self-organizing systems and swarm robotics
|
|
University of California, Berkeley
For contributions in robotics, machine perception, human-computer interaction, and ubiquitous computing
|
Weizmann Institute of Science
For contributions to the foundations of cryptography and theoretical computer science
|
|
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
|
|
National Taiwan University
For contributions to algorithmic electronic design automation
|
For contributions to storage system software, including flash and byte-addressable non-volatile memory
|
|
For design of efficient algorithmic techniques for big data, hashing, approximation algorithms, and metric embeddings
|
For making continuous state systems amenable to logical and computational treatment
|
|
For contributions to to nonvolatile memory technologies
|
For contributions to multimedia technologies and leadership in the scientific community
|
|
For contributions to data summarization and privacy enabling data management and analysis
|
For contributions to high-performance parallel and distributed computing and computational science
|
|
For contributions to programming languages through the invention and development of abstract interpretation
|
For contributions to architectures and design tools for signal processing and networking accelerators
|
|
California Institute of Technology
For contributions to geometry processing and discrete differential geometry
|
Georgia Institute of Technology
For contributions to numerical algorithms, data analytics, and leadership in computational science and engineering
|
|
Findora Advanced Research Center
For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method
|
For contributions to the science of programming languages, particularly their operational and denotational semantics
|
|
For human-centered and linguistically inspired approaches to natural language processing
|
For the introduction of nondeterministic automata, probabilistic automata, and for contributions to computability and computational complexity theory
|
|
For contributions to network measurement and analysis
|
For contributions to wireless system security and cloud data security
|
|
Massachusetts Institute of Technology
For contributions to algorithms and languages for numerical and scientific computing
|
For contributions to recommender systems, economics and computation, and online communities
|
|
For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving
|
Pennsylvania State University
For contributions to human-computer interaction, including scenario-based design
|
|
University of California, Santa Cruz
For contributions to static and dynamic program debugging and verification methods
|
For contributions to computational biology, including software for DNA sequence analysis, alignment, and genome assembly
|
|
Carnegie Mellon University
For contributions to design research in human-computer interaction
|
University of California, Berkeley
For contributions to formal verification, inductive synthesis, and cyber-physical systems
|
|
For contributions to probabilistic state estimation, RGB-D perception, and learning for robotics and computer vision
|
Weizmann Institute of Science
For contributions to the field of cryptography
|
|
For contributions to distributed systems design
|
University of Electronic Science and Technology of China
For contributions to large-scale multimedia content understanding, indexing and retrieval
|
|
Universitat Politecnica de Catalunya
For contributions to the design of energy-efficient and resilient computer architectures
|
University of South Carolina
For contributions to data semantics and knowledge-enhanced computing
|
|
Microsoft Research and University of Edinburgh
For contributions to programming languages: their principles, logic, usability, and trustworthiness
|
For contributions to data privacy and cryptography
|
|
For contributions to virtualization technology across clusters, servers, and networks
|
For contributions to digital geometry processing, computer animation, computer graphics and visual computing
|
|
For research and leadership contributions to computer science education
|
Argonne National Laboratory
For contributions in high-performance computing systems, collaborative environments, and tools for large-scale science initiatives
|
|
For the invention of asymmetric public-key cryptography and the promulgation of a practical cryptographic key-exchange method
|
University of Texas at Austin
For contributions to automated planning, learning, and multiagent systems with applications in robotics and ecommerce
|
|
For contributions to numerical linear algebra, numerical stability analysis, and communication of mathematics
|
Chinese University of Hong Kong
For contributions to algorithms for large scale data processing
|
|
C. Anthony (“Tony”) R. Hoare
For contributions to the theory of programming, and its application to the practice of engineering of software
|
For contributions to network control and optimization with applications in communication networks
|
|
For contributions to automated algorithm selection and configuration for optimization and machine learning
|
For contributions to the development of operating systems theory and for the implementation of the UNIX operating system
|
|
For contributions to data cleaning and data integration
|
For contributions to the understanding of the web and web-based social networks
|
|
University of Texas at Austin
For contributions to the design, modeling and benchmarking of computer architectures
|
Princeton University and Simons Foundation
For contributions to computational biology, data integration
|
|
For contributions to model checking of software and probabilistic systems
|
Toyota Technological Institute at Chicago and University of California, Santa Barbara
For contributions to face recognition, computer vision, and multimodal interaction
|
|
For contributions to design and modeling of power-efficient computer architectures
|
For contributions to process mining, process management and data science
|
|
University of Southern California
For contributions to artificial intelligence, including heuristic search and multi-agent coordination
|
University of New South Wales and CSIRO Data61
For contributions to artificial intelligence
|
|
For contributions to the security, privacy, and usability of mobile systems
|
University of California, Los Angeles
For contributions to the foundation and practice of data mining
|
|
For contributions to networks and distributed computer systems
|
North Carolina State University
For contributions to empirical research on agile software development, software security, and software engineering education
|
|
For contributions to web science modeling, analytics, and algorithms
|
For contributions to bioinformatics, computational biology, knowledge mining and semantic data integration
|
|
For contributions to computer graphics
|
For contributions to visual content understanding techniques and application
|
|
University of Massachusetts Amherst
For contributions to network forensics, security, and privacy, and for thwarting crimes against children
|
For contributions to the automated analysis and verification of real-time systems
|
|
University of British Columbia
For contributions to artificial intelligence, including computational game theory, multi-agent systems, machine learning, and optimization
|
University of Southern California
For contributions to game design, game and virtual reality networking, and body tracking
|
|
Northwestern Polytechnic University
For contributions to computing on and learning from higher-order data
|
|
|
California Institute of Technology
For theoretical foundations and real-world deployment of Internet congestion control and smart grid optimization
|
|
|
Washington University in St. Louis
For contributions to adaptive real-time systems, real-time virtualization, and wireless cyber-physical
|
|