There are 31 Results with the keyword : "award"
On 23 January 2013 the Coq program is to receive the SIGPLAN Programming Languages Software Award. This prize is conferred on an annual basis in recognition of a software program that has had a significant impact on research and development in the field of programming languages. Here are seven key dates in the project's history.
Conceived thirty years ago at Inria's Paris-Rocquencourt laboratory, the Coq Proof Assistant continues to mobilise research teams. Its continuous development is a testimony to the interest shown in it by both the scientific community and, more recently, the financial sector.
The winner of the SIGPLAN1 Programming Languages Software Award in January 2014, the Coq program has provided invaluable support for nearly thirty years now for computer scientists who use it as an aid for writing and checking programs. This extremely efficient proof assistant has won over numerous mathematicians too.
Real-time Latency Measure and Compensation
The Google Research Award are for research in areas of study that are of key interest to Google as well as the research community. These awards are unrestricted gifts that typically last for two to three years, and the recipients have the advantage of access to Google tools, technologies, and expertise.
Christine Guillemot, director of research at Inria and head of SIROCCO research project team, will receive in september during the international conference EUSIPCO 2019, the 2019 Eurasip Technical Achievement Award. Each year, this award honors a scientist who, over a period of years, has made outstanding technical contributions to theory or practice in technical areas within the scope of the Society, as demonstrated by publications, patents, or recognized impact in this field. Christine Guillemot is rewarded for her contributions to video processing for compression and inverse problems.
Paul R. Halmos - Lester R. Ford Award
Last August, Jacques Lévy-Véhel, an Inria research team director (Regularity team), and his friend and colleague, Franklin Mendivil, received the Paul R. Halmos - Lester R. Ford. Jacques Lévy-Véhel took our questions about this award.
Dale Miller, leader of the Parsifal project-team, has been awarded during the LICS 2011 conference (June in Toronto) for a paper he wrote in 1991.
Anatole Lecuyer, Inria director of research, picks up the “IEEE VGTC Virtual Reality Technical Achievement Award ”. Set up in 2005, this international prize is recognition for his research into the use of brain-computer interfaces (BCI) and pseudo-haptic feedback in virtual reality (VR).
Awards and Distinctions
The European Innovation Council (EIC) has awarded an “Accelerator” grant to Kayrros, a startup specializing in the energy sector and quantitative information.