Sites Inria

There are 35 Results with the keyword : "ERC"

Logo Investissement Avenir

Investment

Labex & IRT: our involvement

Following the call for projects "Investissements d'avenir" in 2011, Inria Rennes - Bretagne Atlantique research centre is now actively involved in two laboratories of excellence, CominLabs and Henri Lebesgue, and in the Institute technological research b<>com.

Keywords:

Home > Centre > Rennes > Research > Labex & IRT : notre implication

More

Research

Robots that adapt to damage in a few minutes

27/05/2015

Robots could help our society in many types of situation, for example searching for survivors after a natural disaster or alerting the fire services in the event of a forest fire. But they will always be confined to research laboratories until they are able to continue operating when damaged. Researchers from the Institute for Intelligent Systems and Robotics (CNRS/UPMC) and the Lorraine Laboratory of Research in Computer Science and its Applications (CNRS/Inria/University of Lorraine) are showing how robots can automatically adapt to damage in less than two minutes. Their results were published in the 28 May 2015 issue of Nature.

Keywords:

Home > Research > News > Des robots qui s’adaptent aux dommages en quelques minutes

More

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

Anne-Marie Kermarrec © INRIA / Photo C. Lebedinsky

European Research Council 2007

Anne-Marie Kermarrec: large-scale dynamic distributed systems

"As scalable as possible"… Beyond the pun on the well-known English term, the ASAP project team has some ambitious targets. The aim is no less than the design of algorithmic foundations making it possible to build, in an entirely decentralised way, taking account of the "uncertainty" inherent in contemporary distributed systems, large-scale distributed applications involving a large number of geographically separate and potentially mobile components. And this is to be done….as soon as possible, naturally!

Keywords:

Home > Europe & International > European research area > ERC 2007-2008 > Anne-Marie Kermarrec

More

Véronique Cortier

European Research Council 2010

Véronique Cortier: securing protocols

Olivia Brenner - 25/11/2010

In September 2010, Véronique Cortier, a Senior Research Scientist at the French National Centre for Scientific Research and a member of the CASSIS IPT at Inria Nancy - Grand-Est, has obtained an ERC grant for her project on securing communication protocols and altering them to make them reliable. We went to meet this researcher.

Keywords:

Home > Research > News > Véronique Cortier : sécuriser les protocoles

More

Karthik Bhargavan

European Research Council 2010

Karthik Bhargavan: proving the safety of web applications

Cécile Michaut - Technoscope - 23/11/2010

The medical saying "prevention is better than cure" also applies to computers. Karthik Bhargavan, a young researcher from the MOSCOVA team, recently received an ERC grant to continue his work on ensuring the safety of services such as personal and sensitive data management. This work is both theoretical and highly applied, and is carried out at the Inria and Microsoft Research joint laboratory. We went to meet this researcher.

Keywords:

Home > Research > News > Karthik Bhargavan : prouver la sûreté des applications web

More

André Seznec © INRIA / Photo G. Favier - Agence Vu

European Research Council 2010

André Seznec: defying the laws of computing

Gérard Paget - 3/12/2010

Since 1983, André Seznec has focused his research on the architecture of computers. With his Inria - Université de Rennes 1 joint team, this recognised researcher works on enhancing performance and making parallel architectures more accessible. He recently received the ERC European grant in the "advanced grant" category. Interview with the scientist.

Keywords:

Home > Research > News > André Seznec : défier les lois de l'informatique

More

Pierre Alliez

European Research Council 2010

Pierre Alliez: a pioneer in digital geometry processing

Françoise Monfort -Technoscope - 18/11/2010

Pierre Alliez is a pioneer: when he began his research - following a Master's internship at Inria with Olivier Devillers and a PhD at France Telecom R&D and Telecom Paris Tech - the theme on which he was working still did not have a name. Today, with digital geometry processing now recognised as a scientific field, he is proposing IRON (Robust Geometry Processing), a project that earned him the prestigious ERC 2010 Grant in the "starting grants" category. We went to meet this researcher.

Keywords:

Home > Research > News > Pierre Alliez : un pionnier dans le traitement numérique de la géométrie

More

Pierre-Yves Oudeyer © INRIA - Photo Kaksonen  Pierre-Yves Oudeyer - © Inria - Kaksonen

European Research Council 2009

Pierre-Yves Oudeyer: the man who made robots curious

Pierre-Yves Oudeyer received a grant worth €1.5 million for his project. An unusual career between high-tech fundamental research and experimental applications accessible to the general public, a revival of robotics and a journey to the sources of human language. Pierre-Yves Oudeyer had some weighty plus points when he presented his project to the ERC. Through the grant obtained in autumn 2009, the head of the FLOWERS team was promoted European "scientific leader" in robotics.

Keywords:

Home > Europe & International > European research area > ERC 2009-2010 > Pierre-Yves Oudeyer

More

European Research Council 2009

Francis Bach: heading towards statistical learning

Francis Bach received a grant of €1.5 million to conduct an ambitious five-year research project. The researcher, with a flawless academic career, has for a long time had a great interest in applied mathematics (including sound and image processing). After spending time at one of America’s most prestigious universities, the ERC grant should allow the young researcher to explore new avenues in statistical learning.

Keywords:

Home > Europe & International > European research area > ERC 2009-2010 > Francis Bach

More

Top