There are 13 Results with the keyword : "Inria Saclay Ile-de-France"
Inria announced the winners of five Inria awards in 2015. Among those who will be honoured this year, Marc Lavielle gets the Inria – French Académie des Sciences – Dassault Systèmes Innovation Award and Philippe Giot gets the Research Support Department Inria Award with 8 other members of the Inria Helpdesk project team.
On 9 and 10 October last, the Saclay - Île-de-France Inria Centre opened its doors to the public for the 2015 Science Festival. Here is some feedback in pictures from the Festival.
2013 Heritage Days
On Sunday 15 September 2013, the Inria Saclay - Île-de-France centre opened its doors for the first time for the Heritage Days. It was an opportunity for the general public to discover digital heritage by travelling in time.
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.
For more than three years, Inria and the members of the Scientific Research Foundation (Fondation de Coopération Scientifique - FCS) have been working together with the aim of creating a new federal structure bringing together leading scientific research institutions and higher education establishments to deliver a new university capable of taking its place alongside the best in the world. The University of Paris-Saclay came into being on the 31st December 2014. Destined to become a major research university, it will benefit from close ties with the largest group of universities in Europe, all located in the Greater Paris region.
Olivier Grisel, a software engineer in the Parietal project team from Inria Saclay – Île-de-France research centre, took part in the French radio programme "La tête au carré" on France Inter on the topic of "Our lives in the age of big data".
After several months in construction, the ProofInUse joint laboratory is now fully operational. Today marked the official launch of work on development aimed at providing a range of verification tools for critical systems.
European Research Council 2011
As the beneficiary of an ERC Advanced Grant for experienced researchers, Dale Miller has embarked on the difficult path of establishing proof. His aim? In this field, which is highly abstract but which has a definite impact on the real world, he wishes to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them.
- Inria Saclay Ile-de-France
- Systems of proof
- Proof of programs
- Parsifal project-team
- Dale Miller
Partnership Research - Industry
The partnership between Safety Line and the COMMANDS research team has now resulted in the creation of an Inria Innovation Lab. Dubbed OSCAR (OptimiSation of Consumption for AiRplanes) and established for a period of three years, this joint laboratory aims to improve development of the product OptiClimb and provide airlines with flight scheduling and operational performance management software. Benefits for the industry include optimizing fuel consumption and reducing CO2 emissions.
European Research Council 2016
Reconstructing an incomplete image in real time: the challenge of the GECO team. Ugo Boscain and the GECO team from the Inria Saclay - Île-de-France centre are using geometric control theory for the reconstruction of images. Their ambition: to propose a technological solution to enable the real-time reconstruction of a photo. The European Research Council (ERC) has just awarded the researcher with a "Proof of concept" grant, which will enable him to add value to this research.