There are 10 Results with the keyword : "ACM"
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.
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."
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.
Turing Award 2013
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.
Turing Award 2013
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
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.
Distinctions and awards
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).
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.
- Adrien Bousseau
- Digital images
- Inria - Research Centre Sophia Antipolis - Méditerranée
- Synthesis of images
- 3D design
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.
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.
- Big data
- Equipe-projet ZENITH
- Gestion des données
- INRIA Sophia Antipolis - Méditerranée