Remise des insignes de Commandeur de la Légion d'honneur à Joseph Sifakis
Communiqué de presse Université Joseph Fourier - CNRS
-------------------------------------------------------------------------------------------Joseph Sifakis, Directeur de recherche CNRS, Prix Turing 2007, recevra le 29 février prochainles insignes de Commandeur de la Légion d’honneur au sein du laboratoire VerimagJoseph Sifakis est Directeur de recherche au CNRS et le fondateur du laboratoire Verimag (UJF/CNRS/Grenoble INP) à Grenoble. Il est le seul informaticien français à avoir reçu le Prix Turing (équivalent du Prix Nobel pour l’informatique). Titulaire de la chaire industrielle Schneider-Inria depuis le 1er septembre 2008, il est ingénieur électricien de l'Ecole Polytechnique d'Athènes, et Docteur en informatique de l'Université de Grenoble.Le laboratoire Verimag est l’un des premiers laboratoires de recherche dans le domaine des systèmes embarqués critiques. Il est à l’origine des fondements théoriques et technologiques ayant donné l’outil SCADE, utilisé par Airbus pour la conception et la validation des systèmes critiques temps-réels. Cet outil est devenu depuis une référence dans l’aéronautique. Verimag a des liens de longue durée et stratégiques avec ST Microelectronics, France Telecom R&D et Airbus, autant de collaborations qui ont permis le transfert de nombreux résultats de validation et de tests.Joseph Sifakis est reconnu pour ses travaux innovants, sur les aspects théoriques et pratiques de la spécification des modèles concurrentiels et leur vérification. Il a contribué à l'émergence du Model-Checking, qui est devenu par la suite la méthode de vérification la plus utilisée pour la vérification des applications industrielles. Ses activités de recherche actuelles portent sur la conception à base de composants, la modélisation, et l'analyse des systèmes temps-réel avec un accent sur les techniques correctes-par-construction (CV).Joseph Sifakis a une large expérience avec l'industrie, notamment via des projets communs avec des partenaires tels que Astrium, l’ESA (European Space Agency), France Telecom, et ST Microelectronics. Depuis plusieurs années, il mène également des activités de consulting.Joseph Sifakis est également le coordinateur scientifique du Réseau Européen d’Excellence sur les systèmes embarqués ARTIST2. Ce réseau rassemble 35 des meilleures équipes européennes de recherche dans ce domaine avec pour vocation de parvenir à des résultats inégalés en matière de conception de systèmes embarqués fiables à des coûts maitrisés. Ce réseau est appelé à promouvoir de nouvelles méthodes pour la sûreté des systèmes, grâce à des collaborations avec des partenaires industriels clés comme Thalès, Airbus, Ericsson, Philips et Microelectronics.Joseph Sifakis est membre du Comité éditorial de nombreux journaux, co-fondateur de la Conférence Internationale sur la Vérification Assistée par Ordinateur (CAV) et membre du Comité directeur d’EMSOFT (Conférence sur les logiciels embarqués). Il est membre de l'Academia Europea, de l'Académie des Technologies et de l’Académie des Sciences.Il est également Directeur du Centre de Recherche Intégrative à Grenoble.Joseph Sifakis a reçu, avec Ed Clarke et Allen Emerson pour leur contribution au Model Checking, le Prix Turing 2007.Il a également reçu la médaille d’Argent du CNRS en 2001. Joseph Sifakis est Docteur Honoris Causa de l’Ecole Polytechnique Fédérale de Lausanne (EPFL), de l’Université d’Athènes et de l’Université Hellénique Internationale. Il est Professeur honoraire de l’Université de Patras.Grand Officier de l'Ordre National du Mérite, Joseph Sifakis recevra, le mercredi 29 février 2012, les insignes de Commandeur de la Légion d’honneur.Programme de la cérémonie• Introduction de la cérémonie par Nicolas Halbwachs, Directeur du laboratoire Verimag• Présentation de l’œuvre de Joseph Sifakis par Jacques Voiron, Professeur émérite à l’Université Joseph Fourier• Remise des insignes de Commandeur de la Légion d’honneur par Claude Lorius, Commandeur de la Légion d’honneur, membre de l’Académie des Sciences, Médaille d’or CNRS et Prix Blue Planet 2008• Intervention de Joseph Sifakis• Clôture de la cérémonieMercredi 29 février 2012 à 18h Centre des Technologies du LogicielZone de Mayencin - 7, allée de Palestine - 38610 GièresPlan d’accèsContact presse :Muriel Jakobiak-Fontana, responsable du service communication de l’UJFTél. 04 76 51 44 98 / 06 71 06 92 26Muriel.jakobiak@ujf-grenoble.fr