Actualités Protocoles réseaux > Emploi, RH > Un Français reçoit le Prix Turing 2007















Dictionnaire en ligne  
Définitions Sigles Participez !
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 
Rechercher

Rejoignez-nous sur la page Facebook Dicodunet

Emploi, RH > Un Français reçoit le Prix Turing 2007

 Liens sponsorisés

 Actualités

Voici une compilation des sources d'information sur ce sujet :

Emploi, RH > Un Français reçoit le Prix Turing 2007... ()

Joseph Sifakis, directeur de recherche au CNRS, au laboratoire Verimag (CNRS / Université Grenoble 1 / Groupe Grenoble INP), ...

Un chercheur français reçoit le prix Turing 2007 !... ()

La plus haute distinction en informatique, le prix Turing, a été décerné cette année à Joseph Sifakis, directeur de recherche au CNRS, au laboratoire Verimag (CNRS/Université Grenoble 1/Groupe Grenoble INP).

Joseph Sifakis reçoit le prix Turing en informatique... ()

Le prix Turing, l'équivalent du prix Nobel pour les informaticiens, a été décerné au Français Joseph Sifakis ainsi qu'aux Américains Edmund Clarke et Allen Emerson. Directeur du laboratoire Verimag à Grenoble, Joseph Sifakis est le premier Français récipiendaire de cette distinction. Il est...

Un Français récompensé par le prix Turing en informatique... ()

L'équivalent du prix Nobel pour les informaticiens, a été décerné au Français Joseph Sifakis ainsi qu'aux Américains Edmund Clarke et Allen Emerson. Premier Français à recevoir cette distinction, il est l'inventeur de la technique du model-checking, une technologie de vérification des systèmes complexes aujourd'hui très largement utilisée dans les industries du logiciel et du matériel, selon un communiqué du CNRS. Depuis 1981, lorsque le chercheur a posé les bases théoriques de ce concept indépendamment de ses deux collègues américains, « les travaux de Joseph Sifakis furent déterminants pour promouvoir le sujet au niveau mondial, structurer cette recherche au niveau européen et lui assurer les meilleures conditions de transfert vers le secteur industriel», précise l'Université Grenoble 1 au sein de laquelle il dirige le laboratoire Verimag connu pour sa recherche sur les systèmes embarqués.

Le prix Turing 2007 décerné à un chercheur français... ()

Directeur de Recherche au CNRS, Joseph Sifakis vient de recevoir le convoité prix Turing 2007, le prix Nobel de l'informatique.

Une carotte en Antarctique... ()

De retour de leur campagne d'été en Antarctique, des chercheurs français du CNRS (Centre national de recherche scientifique) ont présenté, hier, leurs travaux menés dans le cadre de la 4ème Année polaire internationale. Jérôme Chappellaz, directeur de recherche au CNRS et directeur adjoint du laboratoire de glaciologie et géophysique de l'environnement, commun à l'Université Joseph Fourier Grenoble 1, expose le projet « TALDICE » qui vise à obtenir une carotte glaciaire profonde permettant d'évaluer (...) - TECHNOLOGIE

Détermination d'une enzyme essentielle à la synthèse des acides aminés... ()

Des chercheurs du laboratoire de Physiologie Cellulaire Végétale (CNRS, Université Joseph Fourier Grenoble 1, CEA, INRA), en collaboration avec le groupe Synchrotron de l'Institut de Biologie Structurale...

Un avion pourrait-il voler dans de la mousse ?... ()

Non, répondent des chercheurs du Laboratoire de spectrométrie physique (CNRS/Université Joseph Fourier Grenoble). Ils viennent en effet de mettre en évidence, grâce à une soufflerie...

Les chercheurs du CEA mettent au point un nouveau matériau pour la fabrication d'hydrogène... ()

Les chercheurs français du Laboratoire de chimie et biologie des métaux (CEA -CNRS-Université J. Fourier, Grenoble), de l'Iramis (CEA, Saclay) ainsi qu'une équipe du Liten (CEA, Grenoble) ont mis au p...

Joseph Sifakis : le nouveau "prix Nobel" d'informatique... ()

Le prix Turing 2007 a été récemment décerné à un chercheur français du laboratoire Verimag de Grenoble : Joseph Sifakis. Considérée comme l'équivalent du prix Nobel dans le domaine de l'informatique, cette récompense vient couronner l'un des créateurs d'une méthode algorithmique aux multiples applications, de l'aéronautique aux téléphones portables.Rappelons que le panthéon de l'informatique est dominé par deux dieux à qui l'on doit les bases théoriques de l'informatique et les premières réalisations d'ordinateurs. Le premier est le mathématicien d'origine hon...

Un jardinier-botaniste pour l'Université Joseph Fourier de Grenoble... ()

Description du poste : L'UMS 2925 (Unité Mixte de Services UJF/CNRS) a été créée en 2005 pour développer deux plateformes : plateforme alpine existante au col du Lautaret (jardin botanique alpin et chalet-laboratoire) et plateforme de culture de plantes (serres, chambres de culture) en cours de mise en place à Grenoble à proximité de l'Arboretum Robert Ruffier-Lanche. Ces plateformes sont au service de la recherche (laboratoires du pôle Biologie Végétale et Biodiversité), de l'enseignement et de la (...)

Bolivie : le volume des glaciers de la Cordillère royale a fortement diminué depuis 1975... ()

Selon une étude* de l'Institut de recherche pour le développement (IRD), du Centre national de la recherche scientifique (CNRS) et de l'université Joseph Fournier de Grenoble, publiée le 11 février au...

Joseph Sifakis (Prix Turing 2007) : "Microsoft et Google utilisent le model checking"... ()

Une cérémonie officielle a eu lieu le 23 juin dernier à Paris, en l'honneur du chercheur franco-grec Joseph Sifakis. Ses recherches en informatique et leurs applications dans l'industrie lui ont valu d'être récompensé par le prestigieux prix Turing pour l'année 2007, l'équivalent du Nobel pour l'informatique. L'occasion d'une interview à propos du model checking, la technique pour laquelle il a été récompensé avec deux collègues américains, et ses applications. Un travail réalisé par étapes et commencé en 1981.

La sensibilité des écosystèmes aux changements globaux... ()

Une étude réalisée par plusieurs laboratoires européens, dont le laboratoire d'écologie alpine (CNRS - Université Grenoble 1 - Université Chambery), montre que la sensibilité des...

Le soleil dans l'hémisphère nord a influencé le climat de l'antarctique... ()

Une équipe internationale de chercheurs, comprenant des chercheurs du Laboratoire de glaciologie et géophysique de l'environnement (LGGE, CNRS / Université Grenoble 1) et du Laboratoire des sciences...

 Autres actualités


Formation au referencement Google
Formation au référencement par les spécialistes en référencement de Ranking Metrics : conférence le matin, atelier pratique l'après-midi.

Formation au referencement Google