1. Accueil
  2. /
  3. Actualités
  4. /
  5. Informatique: Joseph Sifakis, chercheur...

Informatique: Joseph Sifakis, chercheur à Grenoble, Prix Turing 2007


Joseph Sifakis, est le premier Français à obtenir ce prix créé en 1966, qui porte le nom du mathématicien anglais Alan Turing, père fondateur de l’Informatique. Joseph Sifakis est récompensé – ainsi qu’une équipe américaine – pour avoir mis au point le Model Checking, technologie de vérification des systèmes complexes très largement utilisée dans les industries du logiciel et du matériel. Cette méthode permet de vérifier qu’un système logiciel ou matériel satisfait à des exigences données de sécurité ou de sûreté.


Les bases théoriques du Model Checking ont été posées en 1981, indépendamment par Joseph Sifakis en France, Edmund Clarke et Allen Emerson, travaillant conjointement aux Etats-Unis. Le Model-Checking trouve de nombreuses applications industrielles à la vérification de : puces, protocoles de communication, logiciels pilotes de périphériques, systèmes critiques embarqués (par exemple dans les avions, les trains, les fusées, les satellites ou les téléphones portables…) et d’algorithmes de sécurité.


Joseph Sifakis est directeur de recherche de classe exceptionnelle au CNRS, au laboratoire VERIMAG à Grenoble, dont il est le fondateur. Le laboratoire a une renommée mondiale dans le domaine des systèmes embarqués critiques. Ingénieur électricien de l’Ecole Polytechnique d’Athènes et Docteur d’Etat en Informatique de l’Université de Grenoble, Joseph Sifakis est reconnu pour ses travaux innovants sur des aspects aussi bien théoriques que pratiques de la modélisation et de la vérification des systèmes temps réel. Il est coordinateur scientifique du réseau d’excellence européen « ARTIST2 Embedded Systems Design » qui coordonne la recherche de 35 équipes européennes afin de développer des résultats théoriques et pratiques pour la conception de systèmes embarqués performants et robustes.

LinkedIn
Twitter
Email

à voir

Related Posts

Mag2lyon numéro 163

NEWSLETTER

Rececevez réguliérement par mail nos dernier articles publiés

Lire la vidéo
Lire la vidéo
Lire la vidéo

Derniers articles publiés

Enquêtes

Reportage Vin 31

Dossiers

Territoires

Environnement

Energie

Mobilité

Médiathèque

économie

économie durable

bioéconomie

économie circulaire

Construction et aménagement

Recherche

Welcome Back!

Login to your account below

Retrieve your password

Please enter your username or email address to reset your password.