Computing Community Consortium Blog

The goal of the Computing Community Consortium (CCC) is to catalyze the computing research community to debate longer range, more audacious research challenges; to build consensus around research visions; to evolve the most promising visions toward clearly defined initiatives; and to work with the funding organizations to move challenges and visions toward funding initiatives. The purpose of this blog is to provide a more immediate, online mechanism for dissemination of visioning concepts and community discussion/debate about them.

ACM Names Its 2014 Fellows

January 13th, 2015 / in awards, CCC, policy, Research News / by Helen Wright

The Association for Computing Machinery (ACM) is out with its 2014 Fellows, 47 of its members from universities, corporations, and research labs being recognized “for their contributions to computing that are driving innovations across multiple domains and disciplines…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.” They join a distinguished set of colleagues honored since 1993.

Check out 2014 Fellows, including our own Computing Community Consortium (CCC) council member Daniela Rus!

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