Transformative Innovations Recognized by World’s Largest Computing Society
May 3, 2022
ACM today announced the recipients of four prestigious technical awards. These leaders were selected by their peers for making contributions to groundbreaking research and practical applications that impact people using technology every day.
Mohammad Alizadeh, Massachusetts Institute of Technology, is the recipient of the 2022 ACM Grace Murray Hopper Award for pioneering and impactful contributions to data center networks.
Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois, receive the ACM Software System Award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness.
Michael Burrows, Google; Paolo Ferragina, University of Pisa; and Giovanni Manzini, University of Pisa, receive the ACM Paris Kanellakis Theory and Practice Award for inventing the BW-transform and the FM-index that opened and influenced the field of Compressed Data Structures with fundamental impact on Data Compression and Computational Biology.
Bernhard Schölkopf, Max Planck Institute for Intelligent Systems and ETH Zurich, and Stuart J. Russell, University of California at Berkeley, receive the ACM - AAAI Allen Newell Award. Schölkopf is recognized for his widely used research in machine learning. Russell is recognized for a series of foundational contributions to Artificial Intelligence.