ACM, the Association for Computing Machinery, 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.
Raluca Ada Popa, University of California, Berkeley, was named to receive the 2021 ACM Grace Murray Hopper Award for the design of secure distributed systems. The systems protect confidentiality against attackers with full access to servers while maintaining full functionality.
Xavier Leroy, Collège de France; Sandrine Blazy, University of Rennes 1, IRISA; Zaynah Dargaye, Nomadic Labs; Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles; Michael Schmidt, AbsInt Angewandte Informatik; Bernhard Schommer, Saarland University and AbsInt Angewandte Informatik GmbH; and Jean-Baptiste Tristan, Boston College, will receive the ACM Software System Award for the development of CompCert, the first practically useful optimizing compiler targeting multiple commercial architectures that has a complete, mechanically checked proof of its correctness.
Avrim Blum, Toyota Technological Institute at Chicago; Irit Dinur, Weizmann Institute; Cynthia Dwork, Harvard University; Frank McSherry, Materialize Inc.; Kobbi Nissim, Georgetown University, and Adam Davison Smith, Boston University, are to receive the ACM Paris Kanellakis Theory and Practice Award for their fundamental contributions to the development of differential privacy.
Carla Gomes was named to receive the ACM - AAAI Allen Newell Award for establishing and nurturing the field of computational sustainability and for foundational contributions to artificial intelligence.
View Full Article