European Research Council grants
The ERC's mission is to encourage high-quality research in Europe, thanks to significant funding. Each year, the European Research Council (ERC) rewards researchers with innovative ideas. This programme enables them to carry out exploratory research "at the frontier of knowledge" for five years and, thanks to the allocated budget, be able to set up a scientific team.
Discover the Inria Nancy - Grand Est centre scientists who have been awarded this grant:
Jasmin Blanchette - Inria Nancy - Grand Est
Jasmin Blanchette combines two scientific approaches by developing automated proving applied to interactive proving. The automated tools are powerful, but restricted to logics with little expressive power, whereas proof assistants have richer logics but are not automated as well. The main purpose of his research is to create proof assistants to make software more reliable whilst maintaining their rapidity. Discover his Matryoshka project
Beyond a few highly controlled situations (industrial robots, for example), current autonomous robots are both fragile and incapable of carrying out their mission as soon as an unforeseen event occurs. Specialised in artificial intelligence and robotics, Jean-Baptiste Mouret 's research uses trial and error learning, tackling a problem that is holding up the use of robots in numerous industrial and social contexts.
Discover the Resibots project
A specialist in cryptographic protocols, Steve Kremer is working on the elaboration of critical software verification tools, whilst also warning the public about the limits of existing solutions. Electronic voting, which is still marginal, could soon replace the traditional ballot paper in numerous cases. Transposing all of the constraints and guarantees of traditional voting protocols in this way requires the development of new digital tools.
More about Spooc project
Passionate about image synthesis, Sylvain Lefebvre devises creation methods for objects, furniture or architectural plans based on algorithms capable of generating textures inspired by samples provided and reproducing them on a large scale. Based on the democratisation of 3D printers, his project should enable everyone to create everyday objects simply and directly.
More about ShapeForge project
© Inria / D. Grandmougin
In September 2010, Véronique Cortier, CNRS research director with the Inria project team (EPI) Cassis at Inria Nancy - Grand Est was awarded the ERC grant as part of her project aiming to secure communication protocols and modulate them in order to make them reliable. Meeting with the researcher.
Read more about ProSecure project
Axel Hutt 's interest lies in the brain and its specific functioning during an anaesthetic. He models the interactions between neurons and compares the electromagnetic signals given off with those recorded by doctors on sedated patients. A decisive step forward for neurologists, psychologists...and for those receiving treatment
© Inria / Photo C. Lebedinsky
Bruno Lévy works on the optimised representation of 3D objects by computer, able to adapt during computation. The modelling of 3D objects is the basis of computer-generated images but also certain types of digital simulations, for aerodynamic computations in the aeronautics industry as well as research in chemistry or subsoil modelling for the oil industry.
Read more about GoodShape project