Un chercheur du CNRS reçoit un prix informatique prestigieux
Un chercheur du centre national de recherche scientifique (CNRS) financé par l'UE fait partie des trois vainqueurs sélectionnés pour l'attribution du prestigieux prix Turing décerné par l'American Association for Computing Machinery (ACM, association américaine de matériel informatique). Le Dr Joseph Sifakis est le premier citoyen français à obtenir ce prix qui a souvent été décrit comme le prix Nobel de l'informatique depuis sa création en 1966. Les trois vainqueurs, soit le Dr Sifakis et ses collègues américains le Dr Edmund M Clarke de l'université de Carnegie Mellon à Pittsburgh et le Dr E Allan Emerson de l'université du Texas, travaillent dans le domaine du «model checking» (contrôle des modèles), une technologie qui aide les ingénieurs logiciel et matériel à dépister les erreurs dans les conceptions de systèmes complexes. Le prix qui leur a été attribué en reconnaissance de leur «rôle dans l'avènement du 'model checking' en tant que technologie de vérification hautement efficace, largement adopté dans les industries du matériel et du logiciel, s'élève à 170000 euros», peut-on lire dans le rapport. D'après Stuart Feldman, président de l'ACM, les travaux de Clarke, Emerson et Sifakis ont eu un impact capital sur les concepteurs et les fabricants des puces semi-conductrices. «Ces industries sont confrontées à une explosion technologique dans le cadre de laquelle des produits d'une complexité sans précédent doivent fonctionner comme il se doit afin que les sociétés puissent survivre. Ce progrès dans le domaine de la vérification a permis à ces industries de pénétrer plus rapidement le marché et d'accroître l'intégrité des produits. Sans la découverte conceptuelle effectuée par ces chercheurs, nous en serions probablement toujours aux puces présentant de nombreuses erreurs et l'équipement actuel manquerait de puissance et de vitesse. Cet exemple illustre parfaitement une technologie capable de transformer l'industrie à partir d'une recherche hautement théorique.» «Intel et l'industrie informatique entière ont été les bénéficiaires directs des travaux exceptionnels des vainqueurs», a ajouté Andrew Chien, vice-président du Corporate Technology Group et directeur de recherche d'Intel Corporation. «Nos chercheurs et ingénieurs ont collaboré étroitement avec Clarke, Emerson et Sifakis pendant 15 ans. Les indices provenant des nouveaux résultats de vérification automatique ont été largement adoptés par l'industrie entière. Ces approches de 'model checking' fournissent une couverture beaucoup plus vaste lors de la recherche d'erreurs de conception.» «Google, au même titre que toute société technologique contemporaine, doit une grande part de son succès aux travaux effectués par les chercheurs novateurs qui ont précédé», a déclaré Alan Eustace, vice-président senior d'ingénierie chez Google. «Nous sommes fiers de rendre honneur à ces vainqueurs pour leur solution innovante à un problème difficile et omniprésent et espérons que cet évènement encouragera et inspirera les personnes devant désormais relever les défis technologiques de l'avenir.» Le Dr Sifakis est actuellement directeur de recherche du CNRS et préside la «Chamber B» (organismes de recherche publique) de l'association ARTEMISIA pour les acteurs de la R&D (recherche et développement), qui est impliquée dans l'initiative ARTEMIS («Recherche et technologie avancées pour l'intelligence et les systèmes intégrés») financée par l'UE. Il est également fondateur du laboratoire VERIMAG à Grenoble, en France, un laboratoire de recherche de renommée internationale dans le domaine des systèmes intégrés critiques. De 2004 à 2008, le Dr Sifakis fut le coordinateur scientifique du réseau d'excellence européen Artist2 sur la conception de systèmes intégrés et a occupé le même poste dans le nouveau réseau d'excellence européen ArtistDesign sur la conception de systèmes intégrés. Le Dr Sifakis, né sur l'île de Crète, en Grèce, est titulaire d'un diplôme en ingénierie électrique de l'université Polytechnique d'Athènes ainsi que d'un diplôme en science informatique de l'université de Grenoble, où il a également obtenu son doctorat.
Pays
France