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 Filliatre, 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.

 

  • 4284171281 2018-01-16
  • 8259851280 2018-01-16
  • 7165471279 2018-01-16
  • 5217071278 2018-01-16
  • 8157911277 2018-01-16
  • 8885501276 2018-01-16
  • 6385801275 2018-01-15
  • 2067251274 2018-01-15
  • 1858331273 2018-01-15
  • 4561771272 2018-01-15
  • 4527091271 2018-01-15
  • 1283761270 2018-01-15
  • 5916981269 2018-01-15
  • 9649231268 2018-01-15
  • 1194191267 2018-01-15
  • 1002981266 2018-01-15
  • 1323861265 2018-01-15
  • 7825871264 2018-01-15
  • 9506761263 2018-01-15
  • 2829811262 2018-01-15