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

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 EPFL 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 KAIST 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 UCLA 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 EPFL 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 Technion For contributions to research in automated formal verification of hardware and software systems	Pablo Rodriguez Telefonica 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 Technion 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 INRIA 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
212-626-0505
[email protected]

Printable PDF file