ACM, the Association for Computing Machinery, today announced the recipients of four prestigious technical awards. Recognizing these individuals is one way ACM educates the wider public about the science behind technologies we use every day.
Mohammad Alizadeh of the Massachusetts Institute of Technology is the recipient of the 2022 ACM Grace Murray Hopper Award for pioneering and impactful contributions to datacenter 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, together 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, will 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, are to receive the ACM - AAAI Allen Newell Award.
View Full Article
No entries found