logo publicité Visiter le site national
retour à l'accueil plan du site Contacter le groupe régional administration du site
GROUPE D’EXPERTS QUALITE CNAM 292 rue Saint-Martin 75003 PARIS tél : 01 42 72 64 40 Fax : 01 42 78 26 43
Vous êtes ici : ... prix Nobel d’informatique ; Joseph Sifakis ; CNRS-Verimag ; Grenoble
Actualité
Pour vous, l’actu. QSE
CNAM : références
Colloques & Conférences
Des côtés sympa !
École Vaucanson
Humour
Re-Coins et bricolages !
Soucis et attentes

Charte GEQseC
Le GEQC se définit sous tous ses aspects...
Remerciements
Attente et besoin QSE
Comité de direction
Découvrez nos experts
Offres d’emplois
Séminaires QSE CNAM

Projets
Tous nos projets par domaines ...
Aide à projet qualité
Aide à tous
Biologie
CNRS : PLUME
Energie
Maîtrise des risques
Management
Mardis de l’innovation
MDE - Ing.. De Modèle
Nations Unies : FAO
Process et Mgt. MA
Prospective, les bases
Santé ... Environnement
Sécurité
Sécurité Informatique
Transition énergétique en Bretagne
Week End Rando Visite

Publications
Tous les écrits du GEQC, classés par thèmes. La référence.
Colloques
Ouvrages et publications

Nos référents
Progression scientifique
Direction de Recherhe et HDR CNAM
Laurence Berlie
Anne Labarre
R. Chevance
F. Dieng Diop
J. Foos
M. Godet
A. LeBeau
F. Meunier
H. Mitonneau
T. de Montbrial
L. Bloch
Y. Pesqueux
C. Pinet
J. Printz
A. Rémondière
Anne Marchais-Roubelat
JJ. Salomon
J.L. Thomas
Gilles Teneau
Réflexion et philosophie
HDR et Thèses
Accès aux standards

... prix Nobel d’informatique ; Joseph Sifakis ; CNRS-Verimag ; Grenoble
samedi 21 août 2010


2007 est décidément une grande année pour la recherche française.


- Après l’attribution du prix Nobel de physique 2007, en octobre dernier au français Albert Fert, ainsi qu’à Peter Grünberg,

- c’est un autre chercheur français,

Joseph Sifakis

qui vient de recevoir le prix Turing 2007.

- Cette récompense est l’équivalent du prix Nobel d’informatique. Elle a été décernée conjointement à Edmund M. Clarke et E. Allen Emerson des universités américaines de Carnegie Mellon et du Texas.

- Joseph Sifakis est aujourd’hui chercheur CNRS au laboratoire Verimag à Grenoble, dont il est le fondateur. Laboratoire qui travaille sur les systèmes embarqués critiques.

Source

IMPRIMER L'ARTICLE
IMPRIMER
... prix Nobel d’informatique ; Joseph Sifakis ; CNRS-Verimag ; Grenoble

Dans la même rubrique :
Cnam IHIE Ouest
Dernières infos : Absolument à lire : dans la revue : Ressources minérales : un état des lieux Jacques Varet
IMDR Qualité Sécurité Environnement - QSE SDF ; quel moteur de recherche pour le GEQC ?
Le Cheval nous fait innover, avec le CNAM
CNAM, Cité des Sciences ; Créations numériques et jeux vidéo
Prospective R&D ; attention, la France peut être compétitive ???
CNAM-PACA : Energie, ..., ITER, ..., Sûreté
GEQseC : Message de Philippe Bayard
QSE CNAM : Impact de la crise sur la création et la reprise d’entreprise
GEQseC partenaire de l’HESAM

Sur le web :
La pollution des Antilles par un pesticide
SOIRÉE SPÉCIALE CENTENAIRE DE LA MORT D'HENRI POINCARÉ
Développement de l'entreprise et relations sociales en temps de crise
EDITORIAL
Location Maison avec grand jardin à 15 min à pied de la mer
Emballages alimentaires, l'innovation est dans la boîte !
Premières images du rover Curiosity sur Mars
Quand le Nucléaire soigne


Proposer un article | Nous contacter | Plan du site | Admin | Accueil
Union des Ingénieurs CNAM Association reconnue d'utilité publique (loi de 1901) Ce site est réalisé grâce au système de publication SPIP