Sites Inria

Version française

Latest news

Jean-Louis Lanet


LHS: A high security laboratory in Rennes

Jean-Michel Prima - 2/03/2015

Eleven research organisations signed an agreement with the French Ministry of Defence and the Brittany Region on the 12 December last year with the aim of setting up a facility to carry out research into cyber defence. This agreement followed in the wake of the Cyber Defence Pact that designated Brittany as a Cyber Centre of Excellence. One of the facilities contributing to this Centre of Excellence is the LHS high security laboratory, funded jointly by Inria, Supelec, the French defence procurement agency (DGA) and the Brittany Region. Technology transfer will form an important part of the work of the laboratory as Jean-Louis Lanet, the scientist in charge of the project, explains.



Nicolas Tabareau

European Research Council 2014

Nicolas Tabareau: 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.



© Inria / Photo Kaksonen Inria / Photo Kaksonen


Competitive recruitment of young graduate scientists and senior researchers under way


Our 2015 campaign to hire young graduate scientists and young experienced scientists and senior researchers has gotten off to a start.



CHI 2013 © Inria / Photo G. Maisonneuve © Inria / Photo G. Maisonneuve


Campaign 2015: 22 post-doctoral positions


Do you want to pursue rewarding research work in the field of computer science and mathematics? Are you looking for an internationally recognized working environment with links to industry? In 2015, Inria is offering 22 government-funded post-doctoral positions among others, each lasting about 12 or 24 months, for holders of a PhD or other doctorate.



Christine Morin, senior researcher Inria Christine Morin, directrice de recherche Inria


Christine Morin, laureate of the “Étoiles de l’Europe”’s prize

Nathalie Lacaux - 19/12/2014

Christine Morin, research manager at the Inria Rennes – Bretagne Atlantique research center, received the “Étoiles de l’Europe”’s prize last december, 16. This prize reward her implication in an european project called “Contrail, open computing infrastructures for elastic services”.



Nicolas Crouseilles


Honing Equations for Magnetic Confinement Nuclear Fusion

Jean-Michel Prima - 18/12/2014

Inria is involved in ITER, an international research project aimed at conducting a large scale experiment of magnetic confinement nuclear fusion in a giant tokamak currently under construction in Cadarache, Southern France. This endeavor draws on physicists, computer scientists, as well as mathematicians. Among the latter is Nicolas Crouseilles, a member of the IPSO research team*, in Rennes.



La French Tech


Inria, a genetically French Tech institute

LH - 12/11/2014

Today some French cities where Inria’s research centres are based have been awarded the “French Tech” label. Antoine Petit, Inria’s Chairman and CEO asserts the institute’s commitment to the dynamic development of French innovation.



Ce scénario met en scène un changement de moule dans une presse à injection. L'apprenti peut synchroniser ses actions avec celles de son collaborateur virtuel qui réagit à son tour. © photo : B. Arnaldi

Virtual reality

Industrial Training Going Virtual for Real

Jean-Michel Prima - 8/07/2014

Reaching a genuine form of cooperation between a bone-and-flesh worker and his virtual alter ego stands as the holly grail of VR-based industrial training. Pursuing this quest through research project Corvette, a group of French companies and academic labs* is coming up with a string of trailblazing methods that heralds a never-reached-before level of interaction.



Livre Bruno Sericola et Gerardo Rubino

Book - Science

Markov Chains and Dependability Theory, by Gerardo Rubino and Bruno Sericola

Nathalie Lacaux - 3/07/2014

Dependability metrics are omnipresent in every engineering field, from simple ones through to more complex measures combining performance and dependability aspects of systems. This book "Markov Chains and Dependability Theory" presents the mathematical basis of the analysis of these metrics in the most used framework, Markov models, describing both basic results and specialized techniques.



Code © Inria / Photo Kaksonen


Hunting viruses in binary code

Jean-Michel Prima - 24/06/2014

A few malicious instructions concealed in the code of a software application are all it takes to compromise the security of an information system. At the Inria Rennes-Bretagne Atlantique centre, a team of research scientists is studying how formal procedures can be used to analyse binary code to make it more legible and thus simplify the detection of malicious programs that might be lurking within. This work is being carried out in partnership with the DGA Maîtrise de l’information facility (French Defence Procurement Agency Information Security and Control) in Rennes, France.