There are 4 Results with the keyword : "H2020"
European Research Council 2014
Proving theorem and software correctness are the two raisons d'être of proof assistants. Coq, the result of a 25-year project driven by Inria, has become a preeminent tool in this domain. Yet, a recent breakthrough in mathematics by Fields medal Vladimir Voevosdky has opened the door to a huge improvement of formal verification. Inria scientist Nicolas Tabareau is being granted funding by the European Research Council (ERC) in order to explore how this finding could indeed pave the way to a novel and much enhanced version of Coq. As he explains, this work is expected to have a very strong impact and spread the use of this proof assistant across the industry.
Project - Europe
A powerful software development methodology, DevOps has become a very popular tool in the US for it greatly helps web giants to deliver more frequent updates. True enough, Europe hasn't catch up yet. Coordinated by Inria, STAMP is a consortium whose aim is to provide a critical missing piece to this methodology. To wit: an automated test generation tool that would make DevOps less risky and incidentally more palatable to European companies. This projet has just been selected as part of the EU H2020 call for proposals ICT-10-2016 ‘Software Technologies’.
Europe - Research
A European consortium led by Inria and funded by the EU ICT H2020 program, TeamPlay aims at developing new techniques that will allow execution time, energy, security and other important non-functional properties of parallel software to be treated as first-class citizens. As Project Coordinator Olivier Zendra points out, this research is expected to have a significant impact on various sectors of the industry. Results will be evaluated through use cases from various domains such as computer vision, cybersecurity, satellites and drones.
With the advance of robotics, a variety of service bots will soon be trundling and treading the public spaces among people going about their daily occupations. Making navigation through human tides safe and smooth is the purpose of Crowdbot, a European consortium led by Inria and funded by the EU ICT H2020 program. As project coordinator Julien Pettré points out, this research places a strong emphasis on ethics.
Inria Research Centers
- Rennes (4)