ACM Fellows Named for Computing Innovations that Are Advanci
Source: acm
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 SinicaFor 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 computing 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.
| }
|