ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age

Accomplishments of 2015 Fellows Include Advances in Software Engineering, Data Management and Cryptography

Created on 2015-12-08  

NEW YORK, December 8, 2015—ACM, the world's leading computing society, has recognized 42 of its members for their significant contributions to the development and application of computing in areas from data management and spoken-language processing to robotics and cryptography. The achievements of the 2015 ACM Fellows are fueling advances in computing that are driving the growth of the global digital economy.

"Whether they work in leading universities, corporations, or research laboratories, these newly minted ACM Fellows are responsible for the breakthroughs and industrial innovations that are transforming society at every level," explains ACM President Alexander L. Wolf. "At times, the contributions of a Fellow may include enhancements to a device that immediately impacts our daily lives. At other times, new research discoveries lead to theoretical advances that, while perhaps not immediately perceptible, have substantial long-term impacts."

The 2015 ACM Fellows have been cited for contributions to key computing fields including software research, data mining, computer graphics, computer and mobile systems, system security, multiprocessor and memory architecture design, and research in sensor networks.

ACM will formally recognize the 2015 Fellows at the annual Awards Banquet, to be held in San Francisco in June. Additional information about the 2015 ACM Fellows, the awards event, as well as previous ACM Fellows and award winners is available on the ACM Awards site.

2015 ACM Fellows


Anastasia Ailamaki
For contributions to the design, implementation, and evaluation of modern database systems

Yunhao Liu
Tsinghua University
For contributions to sensor networks

Nancy M. Amato
Texas A&M University
For contributions to robotics and leadership in broadening participation in computing

Michael George Luby
Qualcomm Inc.
For contributions to coding theory, cryptography, parallel algorithms and derandomization

David M. Blei
Columbia University
For contributions to the theory and practice of probabilistic topic modeling and Bayesian machine learning

Michael Rung-Tsong Lyu
The Chinese University of Hong Kong
For contributions to the theory and practice of software reliability engineering

Naehyuck Chang
For contributions to low-power computing systems

Ueli Maurer
ETH Zurich
For contributions to cryptography and information security

Hsinchun Chen
University of Arizona
For contributions to he research and development of security informatics and health informatics systems

Patrick McDaniel
Penn State University
For contributions to computer and mobile systems security

Mary Czerwinski
Microsoft Research
For contributions to human-computer interaction and leadership in the CHI community

Victor Miller
IDA Center for Communications Research
For contributions to cryptography and software research

Giuseppe De Giacomo
Universita' di Roma "La Sapienza"
For contributions to description logics, data management, and verification of data-driven processes

Elizabeth D. Mynatt
Georgia Institute of Technology
For contributions to human-centered computing and to the development of health information technologies

Paul Dourish
University of California, Irvine
For contributions in social computing and human-computer interaction

Judea Pearl
For contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning

Cynthia Dwork
Microsoft Research
For contributions to the science of database privacy, cryptography, and distributed computing

Jian Pei
Simon Fraser University
For contributions to the foundation, methodology and applications of data mining

Kevin Fall
Carnegie Mellon University
For contributions to delay-tolerant networking

Frank Pfenning
Carnegie Mellon University
For contributions to the logical foundations of automatic theorem proving and types for programming languages

Babak Falsafi
For contributions to multiprocessor and memory architecture design and evaluation

Dragomir R. Radev
University of Michigan
For contributions to natural language processing and computational linguistics

Michael Franz
University of California, Irvine
For contributions to just-in-time compilation and optimization and to compiler techniques for computer security

Sriram Rajamani
Microsoft Research, India
For contributions to software analysis and defect detection

Orna Grumberg
For contributions to research in automated formal verification of hardware and software systems

Pablo Rodriguez
For contributions to content distribution architectures in peer-to-peer networks

Ramanathan Guha
Google, Inc.
For contributions to structured data representation and specification and their impact on the Web

Mooly Sagiv
Tel Aviv University
For contributions to the theory and practice of automated analysis and verification of software

Jayant R Haritsa
Indian Institute of Science, Bangalore
For contributions to he theory and practice of data management systems

Peter Schröder
California Institute of Technology
For contributions to computer graphics and geometry processing.

Julia Hirschberg
Columbia University
For contributions to spoken language processing

Assaf Schuster
For contributions to cloud computing

Piotr Indyk
Massachusetts Institute of Technology
For contributions to high-dimensional geometric computing, streaming/sketching algorithms, and the Sparse Fourier Transform

Kevin Skadron
University of Virginia
For contributions in power- and thermal-aware modeling, design and benchmarking of microprocessors, including GPU

Tei-Wei Kuo
Research Center for Information Technology Innovation, Academia Sinica
For contributions to performance and reliability enhancement of flash-memory storage systems

Wang-Chiew Tan
University of California Santa Cruz
For contributions to data provenance and to the foundations of information integration

Xavier Leroy
For contributions to safe, high-performance functional programming languages and compilers, and to compiler verification

Santosh Vempala
Georgia Institute of Technology
For contributions to algorithms for convex sets and probability distributions

Chih-Jen Lin
National Taiwan University
For contributions to the theory and practice of machine learning and data mining

Tandy Warnow
University of Illinois at Urbana-Champaign
For contributions to mathematical theory, algorithms, and software for large-scale molecular phylogenetics and historical linguistics

Bing Liu
University of Illinois at Chicago
For contributions to knowledge discovery and data mining, opinion mining, and sentiment analysis

Michael Wooldridge
University of Oxford
For contributions to multi-agent systems and the formalization of rational action in multi-agent environments


About ACM

ACM, the Association for Computing Machinery, is the world's largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. ACM strengthens the computing profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.

About the ACM Fellows Program

The ACM Fellows Program, initiated in 1993, celebrates the exceptional contributions of the leading members in the computing field.  These individuals have helped to enlighten researchers, developers, practitioners and end users of information technology throughout the world. The new ACM Fellows join a distinguished list of colleagues to whom ACM and its members look for guidance and leadership in computing and information technology.

Contact: Jim Ormond

Printable PDF file