Sites Inria

There are 4 Results with the keyword : "H2020"

Nicolas Tabareau

European Research Council 2014

Democratizing Proof Assistants

Jean-Michel Prima - 10/02/2015

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.

Keywords:

Home > Centre > Rennes > News > Nicolas Tabareau : démocratiser les assistants de preuve

More

Benoit Baudry, head of DIVERSE team

Project - Europe

Bringing Automated Test Generation to DevOps

Jean-Michel Prima - 1/12/2016

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’.

Keywords:

Home > Centre > Rennes > News > Générer automatiquement des tests dans DevOps

More

Olivier Zendra

Europe - Research

Mastering Non-Functional Properties of Software: Energy, Time, Security

Jean-Michel Prima - 11/09/2018

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.

Keywords:

Home > Centre > Rennes > News > Maîtriser les propriétés non fonctionnelles des logiciels : énergie, temps, sécurité

More

Pepper le robot Pepper, humanoïde robot - © Inria / Photo C. Morel

Horizon 2020

Helping Robots Gently Navigate Through Thick Crowds

Jean-Michel Prima (*) - 19/02/2018

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.

Keywords:

Home > Europe & International > European research area > List of Inria H2020 projects > Crowdbot - Aider les robots à naviguer dans la foule

More

Top