ACM Honors Computing Innovators Who Are Changing the World

April 16, 2014

ACM has announced the winners of four prestigious awards for their innovations in computing technology. These innovators have made significant contributions that enable computer science to solve real-world challenges. The awards reflect achievements in computer vision, multiprocessor programming, computer science educational software, and certified software. The 2013 ACM award winners include computer scientists, educators, and entrepreneurs.

  • Grace Murray Hopper Award: Pedro Felipe Felzenszwalb (Brown University)
  • Paris Kanellakis Theory and Practice Award: Robert D. Blumofe (Akamai) and Charles E. Leiserson (Massachusetts Institute of Technology)
  • Karl V. Karlstom Outstanding Educator Award: Susan H. Rodger (Duke University)
  • Software System Award: Coq, a software tool for the interactive development of formal proofs, which is a key enabling technology for certified software. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. An open source product, Coq has played an influential role in formal methods, programming languages, program verification and formal mathematics. This system was developed by the Coq Development Team whose primary members were Thierry Coquand, University of Gothenburg; Gérard Huet, INRIA Paris - Rocquencourt; Christine Paulin-Mohring, University Paris Sud/INRIA Saclay; Bruno Barras, INRIA Saclay/École Polytechnique; Jean-Christophe Filliâtre, CNRS/INRIA Saclay; Hugo Herbelin, INRIA Paris - Rocquencourt; Chet Murthy, Google Inc.; Yves Bertot, INRIA Sophia; and Pierre Castéran, University of Bordeaux.

ACM will present these and other awards at the ACM Awards Banquet on June 21 in San Francisco, California.

Read the ACM news release.