Sites Inria

There are 10 Results with the keyword : "ACM"

Matthieu Dorier © Matthieu Dorier

Inria-Urbana Champaign

Matthieu Dorier winner 2011 ACM-SRC

Françoise Monfort - 30/09/2011

Matthieu Dorier received the second prize at the ACM Student Research Competition, held in conjunction with the International Conference on Supercomputing, in Tucson (Arizona), from 1st to 3rd June, 2011. He was awarded this prize while doing a Masters internship at the Joint Laboratory for Petascale Computing-JLPC, a joint laboratory set up by Inria and the University of Illinois at Urbana-Champaign.

Keywords:

Home > News > News from Inria > Matthieu Dorier lauréat 2011 ACM-SRC

More

Leslie Lamport Leslie Lamport - © Bernard Lachaud

Distinction

Leslie Lamport honoured with the Turing Award

21/03/2014

Leslie Lamport, a researcher at the Inria-Microsoft Research joint laboratory, has been named as the winner of the Turing Award for 2013. The accolade is conferred by the Association for Computing Machinery and considered the "Nobel prize for computing."

Keywords:

Home > News > News from Inria > Leslie Lamport récompensé par le prix Turing

More

Software

Coq takes the ACM Software System Award

16/04/2014

The ACM (Association for Computing Machinery) recently announced the selection of the Coq development team for the "Software System Award".  This prize rewards a long-term group effort, which Inria has been supporting for some 30 years.

Keywords:

Home > News > News from Inria > Coq récompensé par l’ACM Software System Award

More

from left to right : Vinton Cerf, Brent Hailpern, Yves Bertot, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, John White (ACM Chief Executive Officer). - @ACM

ACM award

Software System Award for Coq software

17/06/2014

Yves Bertot, leader of Inria's Marelle project team, was invited to San Francisco on 21 June 2013, along with Bruno Barras, Pierre Castéran, Thierry Coquand, Jean-Christophe Filliâtre, Hugo Herbelin, Gérard P. Huet, Chetan Murthy and Christine Paulin-Mohring, to receive the prestigious Software System Award 2013, one of the highest distinctions awarded by AMC, the Association for Computing Machinery. The award, given on the same day as the Turing Award, was for the development of Coq, a proof management system, originally known as COC, the acronym for Calculus of Inductive Constructions. It was the first time in 40 years that the award had gone to a French team, what's more, to a team that also received the ACM SIGPLAN Programming Languages Software Award at the POPL 2014 conference.

Keywords:

Home > Centre > Sophia > News > Software System Award pour le logiciel Coq

More

Turing Award 2013

Leslie Lamport: working at the heart of modern computer science

Olivier Lapirot - 3/06/2014

The American Leslie Lamport, a researcher at the Microsoft Research-Inria joint laboratory, has won the 2013 Turing Award for his contributions to the theory and practice of distributed systems. His work is decrypted by the Inria researcher Damien Doligez.

Keywords:

Home > News > News from Inria > Leslie Lamport : des travaux au cœur de notre informatique moderne

More

ANR Award

Adrien Bousseau winner of the Young Researcher Award

Anne Schneider - 21/11/2016

The ANR (French National Research Agency) has just given its Young Researcher Award to Adrien Bousseau, a researcher in the GraphDeco project-team at Inria Sophia Antipolis – Méditerranée for the DRAO project on digital drawing. This work allows computer vision and 3D image synthesis to be used to automate the creation of drawings while preserving their expressiveness.

Keywords:

Home > Centre > Sophia > News > Adrien Bousseau lauréat du Prix Jeune Chercheur

More

Leslie Lamport Leslie Lamport - © Bernard Lachaud

Turing Award 2013

Leslie Lamport: a pioneering scientific career

Olivier Lapirot - 3/06/2014

On 21 June, the Association for Computing Machinery's Turing Award for 2013 will be presented to Leslie Lamport, a researcher at the Microsoft Research-Inria joint laboratory. Below is a review of the 40-year career of a researcher in mathematics for digital technology

Keywords:

Home > News > News from Inria > Leslie Lamport, un pionnier de l'informatique

More

© Photo LIRMM

Award

Patrick Valduriez named ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

The prestigious distinction from the Association for Computing Machinery (ACM) was recently awarded to a French national for the third time. This is a major honour for Patrick Valduriez, Senior Researcher at Inria and leader of the Zenith joint project-team with LIRMM* in Montpellier.

Keywords:

Home > Research > News > Patrick Valduriez distingué ACM Fellow

More

Xavier Leroy, in charge of the Inria project-team Gallium of the research centre Inria of Paris © Inria / Photo G. Scagnelli

Recherche

Xavier Leroy: Fellow of the ACM

10/12/2015

Xavier Leroy, head of the Gallium project team at the Inria Paris research center, is one of the new Fellows honored by the American scholarly society ACM in 2015, in a tribute to his decisive work on programming languages and compilers, their reliability and their security.

Keywords:

Home > Centre > Paris > News > Xavier Leroy nommé Fellow de l'ACM

More

Serge Abiteboul  © Inria / Photo C. Lebedinsky © Inria / Photo C. Lebedinsky

Distinctions and awards

Serge Abiteboul named ACM Fellow

10/01/2012

Serge Abiteboul, head of the Webdam project funded by the ERC (European Research Council) is now among the "fellows" of the prestigious international Association for Computing Machinery (ACM).

Keywords:

Home > Centre > Saclay > News > Serge Abiteboul reçoit le titre "d'ACM Fellow"

More

Top