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.
European Research Council 2014
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.
Our 2015 campaign to hire young graduate scientists and young experienced scientists and senior researchers has gotten off to a start.
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, 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”.
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.
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.
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.
Book - Science
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.
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.