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 :
10 clés pour réussir ISO 9001
GEQseC : Message de Philippe Bayard
CNAM-PACA : Energie, ..., ITER, ..., Sûreté
La Recherche et l’Innovation en France
Prospective R&D ; attention, la France peut être compétitive ???
Grands axes de réflexions QSE pour le XXI ème Siècle
Cet automne
Pistes pour nos projets en ce début de XXI°siècle
Dernières infos : Absolument à lire : dans la revue : Ressources minérales : un état des lieux Jacques Varet
Déchets Radioactifs... Légers alors !!!

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