Partenaires
Menu
Rechercher
| IRMA, UMR 7501 |
| 7 rue René-Descartes |
| 67084 Strasbourg Cedex |
| Tél. 33 (0)3 68 85 01 29 |
| Fax. 33 (0)3 68 85 03 28 |
Accueil > Actualités > Archives des actualités > Actualités 2008 > Joseph Sifakis, chercheur au CNRS, reçoit le prix Turing 2007
Joseph Sifakis, chercheur au CNRS, reçoit le prix Turing 2007
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
Dans la même rubrique :
- L’Université de Strasbourg bénéficiera d’une « opération campus »
- Les étudiants doivent-ils noter leurs profs ?
- "A propos de la réforme de la recherche"
- "T=∞ : Evolution Equations and Dynamical Systems", Hammamet, 23-27 mars 2009
- 9e rencontre Math-Industrie « Les industriels et les mathématiciens se parlent »
- Alain Connes sur Arte
- Appel à candidatures pour la direction de l’IHP.
- Appel à projet : Action mathématique franco-chinoise 2008-2012
- Appel d’offres post-doctorant ANR
- Avenir des ITA au CNRS : inquiétudes et réactions
- Bourses Marie Curie
- Bourses nationales L’Oréal france - Unesco 2008
- Campagne CNRS de recrutement de doctorants
- Campagne CNRS recrutement post-doctorants
- Campagne de qualification maîtres de conférences et professeurs
- Campagne PICS 2008 au CNRS
- Chaires Gutenberg : appel à candidatures
- Changement de direction au département MPPU du CNRS
- Classement ATER 2008
- Classement des candidats pour les postes vacants à Strasbourg
- CNRS 2020 : le site
- Comment devient-on probabiliste ?
- Communiqué du C3N
- Compte-rendu sur la campagne PEDR 2007 pour les mathématiques
- Congrès CANUM’08 en ligne
- Conseil d’Administration du CNRS : communiqués et point presse
- Critères d’évaluation de l’AERES : qui sont les "publiants" ?
- Début de la mise en oeuvre opérationnelle du plan stratégique "Horizon 2020" du CNRS
- Demain, l’Université De Strasbourg
- Dernier appel à candidature pour le prix Irène Joliot-Curie
