Articles de cet auteur
Aug 08 2014
Yves Bertot récompensé par l’ACM Software System Award
Le logiciel Coq est une nouvelle fois récompensé par l’Association for Computing Machinery. ACM Software System Award à San Francisco le 21 juin dernier Sur la photo, Yves Bertot (2ème sur la gauche) est entouré de quatre des huit autres récipiendaires du Software System Award 2014 :
- 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.