Sites Inria

English version

Logiciel

16/04/2014

Coq récompensé par l’ACM Software System Award

L’ACM (Association for Computing Machinery) annonce que le prix "Software System Award" est décerné à l'équipe de développement du système Coq. Une récompense pour un travail collectif de longue haleine, qu'Inria soutient depuis 30 ans.

Le logiciel Coq est une nouvelle fois récompensé par l’Association for Computing Machinery. Après le SIGPLAN Programming Languages Software Award en janvier, Coq se voit décerner la distinction la plus haute de l’ACM en matière de logiciel, le Software System Award. Il côtoie dans ce palmarès d’illustres voisins comme Unix, TeX, TCP/IP, NCSA Mosaic, Java, Make, Apache ou encore le worldwide web.

Inria peut s’enorgueillir de ce succès collectif, qui honore l'ensemble de l'équipe des développeurs de Coq et notamment les 9 récipiendaires du Software System Award :

  • Thierry Coquand, Université de Gothenburg;
  • Gérard Huet, Inria Paris - Rocquencourt;
  • Christine Paulin-Mohring, Université Paris Sud/Inria Saclay -Ile-de-France;
  • Bruno Barras, Inria Saclay/École Polytechnique;
  • Jean-Christophe Filliâtre, CNRS/Inria Saclay - Ile-de-France;
  • Hugo Herbelin, Inria Paris - Rocquencourt;
  • Chet Murthy, Google Inc.;
  • Yves Bertot, Inria Sophia Antipolis-Méditerranée ;
  • Pierre Castéran, Université de Bordeaux.

Basé sur des fondements théoriques inventés il y a 30 ans, Coq a évolué pour devenir un assistant de preuve précieux pour les informaticiens qui l'utilisent comme outil d'aide à l'écriture et à la vérification de programmes. Très performant, il séduit désormais les mathématiciens.

Le prix sera remis le 21 juin à San Francisco.

Mots-clés : Coq ACM Preuve de programme

Haut de page

Suivez Inria