Actualités Développement de logiciels > Un chercheur 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

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 :

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

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), ...

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

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.

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.

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

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.

Prix Turing : Cerf, Kahn et le protocole ouvert TCP/IP... ()

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

Prix Turing 2007 et les formats... ()

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

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

Médaille d'or du CNRS : l'optique quantique à l'honneur... ()

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

Médaille d'or du CNRS : l'optique quantique à l'honneur... ()

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.

Acteurs > Le prix Turing 2009 décerné à un professeur du MIT... ()

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


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