# 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

acm

The Association for Computing Machinery*Advancing Computing as a Science & Profession*

Contact: Jim Ormond

212-626-0505

ormond@acm.org

Printable PDF file

**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**

EPFLFor contributions to the design, implementation, and evaluation of modern database systems |
Tsinghua UniversityFor contributions to sensor networks |

Texas A&M UniversityFor contributions to robotics and leadership in broadening participation in computing |
Qualcomm Inc.For contributions to coding theory, cryptography, parallel algorithms and derandomization |

Columbia UniversityFor contributions to the theory and practice of probabilistic topic modeling and Bayesian machine learning |
The Chinese University of Hong KongFor contributions to the theory and practice of software reliability engineering |

KAISTFor contributions to low-power computing systems |
ETH ZurichFor contributions to cryptography and information security |

University of ArizonaFor contributions to he research and
development of security informatics and health informatics systems |
Penn State UniversityFor contributions to computer and mobile systems security |

Microsoft ResearchFor contributions to human-computer interaction and leadership in the CHI community |
IDA Center for Communications ResearchFor contributions to cryptography and software research |

Universita' di Roma "La Sapienza"For contributions to description logics, data management, and verification of data-driven processes |
Georgia Institute of TechnologyFor contributions to human-centered computing and to the development of health information technologies |

University of California, IrvineFor contributions in social computing and human-computer interaction |
UCLAFor contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning |

Microsoft ResearchFor contributions to the science of database privacy, cryptography, and distributed computing |
Simon Fraser UniversityFor contributions to the foundation, methodology and applications of data mining |

Carnegie Mellon UniversityFor contributions to delay-tolerant networking |
Carnegie Mellon UniversityFor contributions to the logical foundations of automatic theorem proving and types for programming languages |

EPFLFor contributions to multiprocessor and memory architecture design and evaluation |
University of MichiganFor contributions to natural language processing and computational linguistics |

University of California, IrvineFor contributions to just-in-time compilation and optimization and to compiler techniques for computer security |
Microsoft Research, IndiaFor contributions to software analysis and defect detection |

TechnionFor contributions to research in automated formal verification of hardware and software systems |
TelefonicaFor contributions to content distribution architectures in peer-to-peer networks |

Google, Inc.For contributions to structured data representation and specification and their impact on the Web |
Tel Aviv UniversityFor contributions to the theory and practice of automated analysis and verification of software |

Indian Institute of Science, BangaloreFor contributions to he theory and practice of data management systems |
California Institute of TechnologyFor contributions to computer graphics and geometry processing. |

Columbia UniversityFor contributions to spoken language processing |
TechnionFor contributions to cloud computing |

Massachusetts Institute of TechnologyFor contributions to high-dimensional geometric computing, streaming/sketching algorithms, and the Sparse Fourier Transform |
University of VirginiaFor contributions in power- and thermal-aware modeling, design and benchmarking of microprocessors, including GPU |

Research Center for Information Technology Innovation, Academia SinicaFor contributions to performance and reliability enhancement of flash-memory storage systems |
University of California Santa CruzFor contributions to data provenance and to the foundations of information integration |

INRIAFor contributions to safe, high-performance functional programming languages and compilers, and to compiler verification |
Georgia Institute of TechnologyFor contributions to algorithms for convex sets and probability distributions |

National Taiwan UniversityFor contributions to the theory and practice of machine learning and data mining |
University of Illinois at Urbana-ChampaignFor contributions to mathematical theory, algorithms, and software for large-scale molecular phylogenetics and historical linguistics |

University of Illinois at ChicagoFor contributions to knowledge discovery and data mining, opinion mining, and sentiment analysis |
University of OxfordFor 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.