Institut de Recherche Mathématique Avancée, UMR 7501

Partenaires

Menu

• L'institut
  • Venir à l'IRMA
  • Coordonnées et responsables
  • Présentation
  • Organigramme
  • Histoire
  • RCP : Rencontres entre mathématiciens et physiciens théoriciens
  • l'IRMA a 50 ans
  • Rapport d’activité du laboratoire 2011-2016
  • Rapport du comité de visite HCERES 2017
  • Tous les sites web de l'IRMA
• Agenda
  • Séminaires réguliers
  • Colloques et rencontres
  • Soutenances
  • Agenda UdS   
• Equipes
  • Algèbre, topologie, groupes quantiques, représentations
  • Analyse
  • Arithmétique et géométrie algébrique
  • Géométrie
  • Modélisation et contrôle
  • Probabilités
  • Statistique
• Publications
  • Dernières publications (HAL)
  • HAL-IRMA   
  • Séminaire de Probabilités
  • Lectures in Math. & Theor. Phys.
  • Archive des thèses
• Interactions et partenariats
  • Partenariats
  • Interdisciplinaires
  • Internationales
• Bibliothèque
  • Catalogue
  • Revues en ligne
  • Actualités
  • Informations pratiques
  • Inventaire Cahiers H. Cartan
• LMD, Enseignement
  • Ecole doctorale
  • Masters
  • Licence   
  • Magistère   
  • IREM   
• Bibliographies et liens
  • MathSciNet
  • zbMATH Open
  • EMIS
  • Liens
• NOUVEL INTRANET
• ancien Intranet  
  • Boîte à outils

Rechercher

Joseph Sifakis, directeur de recherche au CNRS, au laboratoire VERIMAG (CNRS/Université Grenoble 1/Groupe Grenoble INP) et médaillé d’argent du CNRS en 2001, vient de se voir décerner le Prix Turing 2007, la plus haute distinction en Informatique, prix prestigieux considéré comme l’équivalent du prix Nobel de ce domaine. Joseph Sifakis, premier Français à obtenir ce prix depuis sa création, en 1966, est récompensé - ainsi qu’une équipe américaine - pour avoir mis au point le Model Checking, une technologie de vérification des systèmes complexes, performante et fiable, aujourd’hui très largement utilisée dans les industries du logiciel et du matériel.

Lire le communiqué de presse

Source : CNRS

Dernière mise à jour le 18-02-2008