|
|
 |
Un chercheur français reçoit le prix Turing 2007 !
Liens sponsorisés
Actualités
Voici une compilation des sources d'information sur ce sujet :
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, 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...
Directeur de Recherche au CNRS, Joseph Sifakis vient de recevoir le convoité prix Turing 2007, le prix Nobel de l'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 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...
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.
Le prix Turing à V. Cerf et R. Kahn pour TCP/IP
Le 16 février, le prix Turing 2004, haute récompense de l'informatique, a été décerné par l'ACM (Association for Computing Machinery) à Vinton G. Cerf...
Un français pour la première fois
Il y a les Prix Nobel, dans 5 domaines [1]. Il y a la médaille Fields, la plus haute distinction en mathématiques [2]. Et il y a le Prix Turing, la récompense la plus élevée en informatique [3].
Le Prix Turing 2007 a été remporté pour la première fois...
Joseph Sifakis, premier Français à recevoir le prix de Turing, nous explique ses travaux de recherche sur le Model Checking.
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
Le prix Turing 2007 a été attribué à un Français.
Cette année, le CNRS a décerné sa plus haute distinction à Serge Haroche, un directeur de recherche qui, avec son équipe, est parvenu à détecter la présence d'un photon sans pour autant le détruire. Rencontre avec le lauréat
Cette année, le CNRS a décerné sa plus haute distinction à Serge Haroche, un directeur de recherche qui, avec son équipe, est parvenu à détecter la présence d'un photon sans pour autant le détruire. Rencontre avec le lauréat.
Le prix Turing, décerné annuellement, récompense cette année le professeur Barbara Liskov du MIT. C'est la deuxième femme à ...
Autres actualités
- 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), ...[...]
- 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[...]
- 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...[...]
- Nicholas Ayache, Meilleur Chercheur 2007
Nicholas Ayache, directeur de recherche à l’INRIA, vient de recevoir le prix du Meilleur Chercheur de l’Année 2007, décerné par la rédaction du Nouvel Economiste. Un prix qui vient récompenser ses rem[...]
- 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 -...[...]
- 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 [...]
- « 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 [...]
- Pierre Mignot reçoit le prix Albert-Tessier 2007
Le prix représente la plus haute distinction accordée par le gouvernement du Québec dans le domaine de la cinématographie. (Canoë)[...]
- 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...[...]
- Le décret relatif à la nouvelle organisation du CNRS a été publié
Alors que le Centre national de la recherche scientifique (CNRS) fête cette année ses 70 ans, le décret relatif à sa nouvelle réorganisation a été publié au Journal Officiel du 1er novembre 2009. J[...]
- Blue Gene pourrait passer le test de Turing
Les savants barbus du Rensselaer Polytechnic Institute pensent pouvoir faire passer le test de Turing au superordinateur Blue Gene de Big Boue.[...]
- Nouveau supercalculateur HP à Grenoble
HP a ouvert un nouveau centre de calcul haute performance (HPC) à Grenoble, intégré au réseau HPC benchmarking grid déjà implanté à Grenoble, en Allemagne et aux Etats-Unis.[...]
- 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 [...]
- Le professeur Alain Carpentier, pionnier des valves cardiaques artificielles, reçoit le prix Lasker 2007
Chaque année depuis 1946, les Prix Albert Lasker pour la recherche médicale sont décernés aux personnes qui ont contribué par leurs travaux à faire avancer la médecine. Cette année, le prix pour la re[...]
|
|
|
|
|
Formation au 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.
|
|
|
