亚洲欧美日一线高本道_在线播放中文字幕无码免费_国产精品色午夜小视频_国产成人MV在线观看

University of Massachusetts Amherst

For contributions to information retrieval, including topic detection and tracking

University of Michigan

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

Microsoft Azure

For contributions to networking infrastructure, including data center networking, network operating systems, and cloud networking

University of Wisconsin

For contributions to storage and computer systems

TU Berlin

For contributions to query optimization, scalable data processing, and data programmability

University of Wisconsin

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

Indiana University

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

Microsoft Research

For contributions to human-computer interaction, information retrieval, computer-supported cooperative work, and accessibility

Harvard University

For contributions to software and hardware design for power-efficient computer architectures

Microsoft Research

For contributions to empirical software engineering and data-driven software development

Boston University

For contributions to cryptography and computer security

Harvard University

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

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

UNIST

For contributions to storage system software, including flash and byte-addressable non-volatile memory

Stanford University

For design of efficient algorithmic techniques for big data, hashing, approximation algorithms, and metric embeddings

McGill University

For making continuous state systems amenable to logical and computational treatment

Duke University

For contributions to to nonvolatile memory technologies

Arizona State University

For contributions to multimedia technologies and leadership in the scientific community

University of Warwick

For contributions to data summarization and privacy enabling data management and analysis

Rutgers University

For contributions to high-performance parallel and distributed computing and computational science

New York University

For contributions to programming languages through the invention and development of abstract interpretation

University of Minnesota

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

University of Edinburgh

For contributions to the science of programming languages, particularly their operational and denotational semantics

IHMC

For human-centered and linguistically inspired approaches to natural language processing

Harvard University

For the introduction of nondeterministic automata, probabilistic automata, and for contributions to computability and computational complexity theory

Texas A&M University

For contributions to network measurement and analysis

Zhejiang University

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

University of Michigan

For contributions to recommender systems, economics and computation, and online communities

TU Wien

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

Johns Hopkins University

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

University of Washington

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

Google

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

Boston University

For contributions to data privacy and cryptography

Google

For contributions to virtualization technology across clusters, servers, and networks

ETH Zurich

For contributions to digital geometry processing, computer animation, computer graphics and visual computing

Purdue University

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

Stanford University

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

University of Manchester

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

University of Cambridge

For contributions to the theory of programming, and its application to the practice of engineering of software

Yale University

For contributions to network control and optimization with applications in communication networks

Leiden University

For contributions to automated algorithm selection and configuration for optimization and machine learning

Google

For contributions to the development of operating systems theory and for the implementation of the UNIX operating system

University of Waterloo

For contributions to data cleaning and data integration

Google

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

RWTH Aachen University

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

Samsung

For contributions to design and modeling of power-efficient computer architectures

RWTH Aachen University

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

Dartmouth College

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

University of Washington

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

Google Research

For contributions to web science modeling, analytics, and algorithms

University of Delaware

For contributions to bioinformatics, computational biology, knowledge mining and semantic data integration

Zhejiang University

For contributions to computer graphics

YITU Technology

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

Uppsala University

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