|
|
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 :
Joseph Sifakis, directeur de recherche au CNRS, au laboratoire Verimag (CNRS / Université Grenoble 1 / Groupe Grenoble INP), ...
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).
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...
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.
Directeur de Recherche au CNRS, Joseph Sifakis vient de recevoir le convoité prix Turing 2007, le prix Nobel de l'informatique.
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
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...
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 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...
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...
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 (...)
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...
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.
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...
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
- 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 Grenobl[...]
- S’affranchir du platine dans la production et l’utilisation de l’hydrogène
Des chercheurs du LCBM (CEA -CNRS-Université J. Fourier, Grenoble), de l’Iramis (CEA, Saclay) ainsi...[...]
- « Dans vingt ans, nous saurons s'il y a de la vie sur cette planète »
Espace
DES CHERCHEURS du laboratoire d'astrophysique
de Grenoble, de l'Institut d'astrophysique de Paris et du service d'aéronomie du CNRS de Verrières-le-Buisson
associés à l'observatoire de Genève [...]
- Quand les algues brunes influencent le climat
Une étude internationale à laquelle a participé Philippe Potin, chercheur au laboratoire végétaux marins et biomolécules (CNRS/Université Paris 6), a révélé par l'utilisation de rayonnements sync[...]
- CNRS, le géant de la recherche française
Premier employeur français de scientifiques, le CNRS participe à la Nuit des chercheurs, ce 28 septembre. Portrait de cet organisme créé en 1939.[...]
- Réparer un cerveau par des connexions neuronales ciblées
Des chercheurs du laboratoire Neurobiologie des Processus Adaptatifs (CNRS/Université Pierre et...[...]
- Recherche : le CNRS se réorganise en catimini
La réforme défendue par Valérie Pécresse a finalement été adoptée par le Conseil d'administration du Centre national de la recherche scientifique. Malgré plusieurs manifestations et une levée de [...]
- Foot - Lorient : Le groupe face à Grenoble
Christian Gourcuff a communiqué un groupe de 18 joueurs pour le déplacement à Grenoble, samedi (30eme journée de L1). Abriel, Ciani, Boutruche, Soro, Le Pen et Pinard sont forfait.[...]
- Bond pour la recherche grâce à un nouveau supercalculateur pour le CNRS
Un nouveau supercalculateur va démultiplier les capacités de calcul du Centre national de la recherche scientifique (CNRS), un outil particulièrement précieux pour les prévisions climatiques qui porte[...]
- La recherche française publique n?est pas pauvre, elle est mal gérée
Voilà qui va à l?encontre des manifestations des chercheurs du CNRS ou de l?université (collectif « Sauvons la recherche »). Les choses sont désormais claires ?et officielles-. « La France est l?un de[...]
- Foot - Lorient : Le groupe face à Grenoble
Christian Gourcuff a communiqué la composition du groupe de 20 joueurs retenus pour affronter Grenoble samedi à 19h00 (12eme journée de Ligue 1). Ciani et Jallet sont incertains. Le Pen est de retour.[...]
- Deux comités thématiques voient le jour pour coordonner les recherches du CEA et du CNRS
Le CNRS et le CEA ont créé deux comités de coordination thématiques : le premier sera dédié aux très grandes infrastructures de recherche (TGIR) et le second à la physique nucléaire et aux hautes éner[...]
- Le CNRS veut concilier tourisme et science
Le CNRS et le tour opérateur Escursia ont signé un partenariat le 16 janvier 2008 visant à...[...]
- A très haute altitude, les glaciers alpins ne fondent pas encore
A très haute altitude, au dessus de 4.200 mètres, les glaciers alpins ne fondent pas, pour l'instant du moins, contrairement à leurs homologues de moindre élévation, annoncent lundi des chercheurs du [...]
- Première observation de polarisation de la lumière dans le ciel boréal
Une équipe internationale conduite par un chercheur du CNRS appartenant au LPG (INSU - CNRS -...[...]
|
|
|
Formation referencement
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.
|
|
|