Sites Inria

Il y a 11 Résultats avec le mot clé : "ACM"

Matthieu Dorrier © Matthieu Dorier

Laboratoire Inria-Urbana Champaign

Matthieu Dorier lauréat 2011 ACM-SRC

Françoise Monfort - 30/09/2011

Matthieu Dorier, étudiant à l'ENS Cachan, a reçu le 2e prix à l’ACM (Association for Computing Machinery  Student Research Competition ) organisée en marge de l’International Conference on Supercomputing , à Tucson (Arizona) en juin dernier. Un prix attribué pour des travaux réalisées dans le cadre d'une collaboration entre l'équipe KerData et le Joint Laboratory for Petascale Computing (JLPC), laboratoire commun Inria - Urbana-Champaign.

Mots-clés :

Accueil > Actualité > Actualités Inria > Matthieu Dorier lauréat 2011 ACM-SRC

Lire la suite

Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Distinction

Leslie Lamport récompensé par le prix Turing

21/03/2014

Le prix Turing 2013 de l’Association for Computing Machinery, considéré comme le « Nobel de l’Informatique » a été décerné à Leslie Lamport, chercheur au laboratoire commun Inria-Microsoft Research.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport récompensé par le prix Turing

Lire la suite

Logiciel

Coq récompensé par l’ACM Software System Award

16/04/2014

L’ACM (Association for Computing Machinery) annonce que le prix "Software System Award" est décerné à l'équipe de développement du système Coq. Une récompense pour un travail collectif de longue haleine, qu'Inria soutient depuis 30 ans.

Mots-clés :

Accueil > Actualité > Actualités Inria > Coq récompensé par l’ACM Software System Award

Lire la suite

De gauche à droite : Vinton Cerf, Brent Hailpern, Yves Bertot, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, John White (ACM Chief Executive Officer). - @ACM

Prix ACM

Software System Award pour le logiciel Coq

17/06/2014

Yves Bertot, responsable de l'équipe-projet Marelle Inria, sera invité le 21 juin prochain à San Francisco pour y recevoir le prestigieux prix Software System Award 2013, l'une des plus hautes distinctions de l’ACM (Association for Computing Machinery) qui est décernée le même jour que le Turing Award, aux côtés de Bruno Barras, Pierre Castéran, Thierry Coquand, Jean-Christophe Filliâtre, Hugo Herbelin, Gérard P. Huet, Chetan Murthy et Christine Paulin-Mohring, pour le développement du logiciel de preuve Coq, initialement baptisé COC pour Calculus of Inductive Constructions.  C'est la première fois depuis 40 ans qu'une équipe française reçoit ce prix, d'autant plus qu'elle a déjà été récompensée cette même année, lors de la conférence POPL 2014, par le prix ACM SIGPLAN Programming Languages Software Award. 

Mots-clés :

Accueil > Centre > Sophia > Actualités > Software System Award pour le logiciel Coq

Lire la suite

Prix Turing

Leslie Lamport : des travaux au cœur de notre informatique moderne

Olivier Lapirot - 3/06/2014

L'Américain Leslie Lamport, chercheur au laboratoire commun Microsoft Research-Inria, a remporté le prix Turing 2013 pour ses contributions à la théorie et à la pratique des systèmes distribués. Eclairage sur ses travaux par Damien Doligez, chercheur Inria.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport : des travaux au cœur de notre informatique moderne

Lire la suite

Prix ANR

Adrien Bousseau lauréat du Prix Jeune Chercheur

Anne Schneider - 21/11/2016

L'ANR (Agence Nationale de la Recherche) vient de décerner son Prix Jeune Chercheur à Adrien Bousseau, chargé de recherche au sein de l’équipe-projet GraphDeco à Inria Sophia Antipolis – Méditerranée. Ce prix vient récompenser son projet DRAO sur le dessin numérique, qui permet d'exploiter la vision par ordinateur et la synthèse d’image 3D pour automatiser la création de dessins tout en veillant à en préserver l'expressivité.

Mots-clés :

Accueil > Centre > Sophia > Actualités > Adrien Bousseau lauréat du Prix Jeune Chercheur

Lire la suite

Nathanaël Cheriere, Troisième prix du concours ACM Graduate Student Research Competition Nathanaël Cheriere, Troisième prix du concours ACM Graduate Student Research Competition

Award

Supercomputing 2016 : l’équipe Kerdata récolte de beaux résultats

Nathalie Lacaux - 25/11/2016

Du 13 au 18 novembre dernier, s’est déroulée, à Salt Lake City USA, l’édition 2016 de la conférence internationale annuelle Supercomputing , consacrée au calcul haute performance (HPC). Lors de cet événement, l’équipe de recherche Kerdata s’est démarquée avec de beaux résultats : un troisième prix lors du concours ACM Graduate Student Research Competition (SRC) et une belle place de finaliste pour le Best Student Paper Award .

Mots-clés :

Accueil > Centre > Rennes > Actualités > Supercomputing 2016 : l’équipe Kerdata récolte de beaux résultats

Lire la suite

Leslie Lamport Leslie Lamport - © Photo Bernard Lachaud

Prix Turing

Leslie Lamport, un pionnier de l'informatique

Olivier Lapirot - 3/06/2014

Le prix Turing 2013 de l'Association for Computing Machinery a été décerné cette année à Leslie Lamport, chercheur du laboratoire commun Inria-Microsoft Research. Retour sur quarante ans de travaux d’un chercheur qui met les mathématiques au service du numérique.

Mots-clés :

Accueil > Actualité > Actualités Inria > Leslie Lamport, un pionnier de l'informatique

Lire la suite

© Photo LIRMM

Distinction

Patrick Valduriez distingué ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

La prestigieuse distinction de l’Association for Computing Machinery (ACM) vient d’être décernée pour la troisième fois à un Français. Un grand honneur pour Patrick Valduriez,  directeur de recherche Inria et responsable de l’équipe-projet Zenith commune avec le LIRMM* à Montpellier.

Mots-clés :

Accueil > Recherches > Actualités > Patrick Valduriez distingué ACM Fellow

Lire la suite

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Recherche

Xavier Leroy nommé Fellow de l'ACM

10/12/2015

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris, fait partie des nouveaux Fellows distingués par la société savante américaine ACM en 2015. L'ACM salue ainsi ses travaux décisifs sur les langages de programmation et les compilateurs, leur fiabilité et leur sécurité.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy nommé Fellow de l'ACM

Lire la suite

Haut de page

Suivez Inria