Un chercheur du cnrs recoit le prix turing 2007...

[tekkos]

vous avez vu comme ils se ressemblent !:

France : un chercheur du CNRS reçoit le prix Turing 2007

Il s'agit de la plus haute distinction en Informatique

Directeur de recherche au CNRS, au laboratoire VERIMAG (CNRS/Université Grenoble1/Groupe Grenoble INP) et médaillé d’argent du CNRS en 2001, Joseph Sifakis vient donc de se voir décerner le Prix Turing 2007. Et il s'agit du premier Français à obtenir ce prix depuis sa création, en 1966.

Le nom de ce prix vient du mathématicien anglais Alan Turing, père fondateur de l’Informatique. Cette récompense est décernée chaque année depuis 1966, par l’ACM (« Association for Computing Machinery ») et distingue des chercheurs pour l’impact technique majeur et durable de leurs recherches en Informatique.

Il 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.

Le Model Checking est une méthode algorithmique qui permet de vérifier qu’un système logiciel ou matériel satisfait à des exigences données (de sécurité ou de sûreté par exemple).

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é.

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.

Joseph Sifakis, qui a activement travaillé pour le transfert des résultats de la recherche vers des partenaires industriels, est le 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.

Source : http://www.silicon.fr/fr/news/2008/02/0 ... uring_2007

[karl]

Et il s'agit du premier Français à obtenir ce prix depuis sa création, en 1966

Comme quoi, on n'est pas nul, en France ; juste que la matière grise s'exile dans les pays anglo saxon

[tekkos]

Oui, la matière grise est ici aussi.

Beaucoup partent Loin.
mais ils en ont pleinement le droit & c' est leur intèrêt.
je ferais pareil.

peut être qu' ici, en France
les chercheurs ne trouvent plus tout ce qu' il faudrait.
ils ne trouvent pas la souplesse de travail qu'ils trouvent ailleurs.

on ne crée pas sous la contrainte, même si elle est diffuse.
et puis, la pression financière est énorme.
Si tu veux une vie qui va avec...

Lui il a travaillé. encore plus que les autres.
Un prodige. Un cerveau sur pattes.

Pour moi, c'est bcp plus impressionnant
que des muscles du corps sur une jolie photo de mode.

Là, c est le muscle de la tête,
le processeur du bonhomme
ça se voit pas. Mais il est puissant le type.

D'ailleurs en parlant de tête
il a , je trouve, une ressemblance avec Albert Einstein...
Ne trouvez-vous pas ?

[Ngtb]

D'ailleurs en parlant de tête il a , je trouve, une ressemblance avec Albert Einstein...
Ne trouvez-vous pas ?

C'est assez bluffant comme ressemblance.

[Knack]

Je ne connais pas Albert Einstein personnellement mais je confirme.

[tekkos]

Je le savais.
C'est Albert.

il s'est réincarné et a décidé de revenir.
Et nous montrer en plus qu'il a pas perdu la main.