Le prix Turing revient à un chercheur français cette année. Joseph Sifakis, directeur de recherche et fondateur du laboratoire grenoblois Verimag du CNRS, devient ainsi le premier Français à recevoir l'une des plus hautes distinctions en informatique. Cette récompense est décernée chaque année depuis 1966 par l'ACM (« Association for Computing Machinery ») et distingue des chercheurs pour l'impact technique majeur et durable de leurs recherches en informatique. Elle a été remise au chercheur français pour ses travaux conduisant à l'élaboration du model checking, une technologie de vérification des systèmes complexes, à présent très utilisée dans les industries logicielles et matérielles. Joseph Sifakis, docteur d'Etat en informatique à l'université de Grenoble a commencé ses études en ingénierie électrique à Athènes, avant de rejoindre le département informatique de l'établissement grenoblois. Fondateur de Verimag, l'un des premiers laboratoires de recherche dans le domaine des systèmes embarqués critiques, il est notamment à l'origine des fondements théoriques et technologiques ayant conduit à l'élaboration de l'outil Scade, utilisé par Airbus pour la conception et la validation des systèmes critiques temps-réels. Il est également le coordinateur scientifique du réseau européen d'excellence sur les systèmes embarqués Artist2, qui rassemble 35 des meilleures équipes européennes de recherche dans ce domaine. Président de la Chambre B (organisme de recherche public) d'Artemesia - association industrielle rattachée à la plate-forme technologique européenne Artemis - , il dirige parallèlement l'institut «logiciels et systèmes Intelligents» labellisé Carnot, à Grenoble. Membre du comité éditorial de nombreux journaux, co-fondateur de la conférence internationale sur la vérification assistée par ordinateur (CAV), Joseph Sifakis fait également partie du comité directeur d'Emsoft (Conférence sur les logiciels embarqués). Il a reçu la médaille d'Argent du CNRS en 2001.