Sites Inria

There are 36 Results with the keyword : "ERC"

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

European Research Council 2009

Marie-France Sagot: a researcher in symbiosis with her subject

Marie-France Sagot, the Bamboo project team leader, was selected by the ERC in 2009 in the "experienced researcher" category. Exploring symbiosis, a phenomenon that some consider a key factor in evolution, her Sisyphe project fully meets the definition of research "at the frontiers of knowledge".

Keywords:

Home > Europe & International > European research area > ERC 2009-2010 > Marie-France Sagot

More

Andreas Enge

European Research Council 2011

Andreas Enge ERC 2011 grant

Séverine Valerius - 22/09/2011

This year anew, four young researchers form Inria have got a grant from the very selective European Research Council, ERC, to take the lead of a five year long exploratory research with a budget of 1 to 1.5 million Euros. Interview with one of the prize-winners, the mathematician and computer specialist, Andreas Enge, head of the Inria project-team Lfant in Bordeaux.

Keywords:

Home > News > News from Inria > Andreas Enge : des outils informatiques au service des mathématiques

More

Top