In addition to fundamental science research, knowledge transfer to businesses, and start-up creation, Inria's teams are developing a host of applications, often opensource, some of which are diffused globally.
Innovative technologies from research
From artificial intelligence to robotics, from simulation to mathematical proofing software and from high performance computing to the Internet of Things, Inria’s software library currently contains more than 1,500 programs, some of which boast vast communities of users.
Regularly recognised internationally, the work carried out by the institute also attains a wider reach by transferring technology to companies through the creation of start-ups or industrial partnerships with major groups. In this way, innovation within Inria helps contribute towards the creation of companies, while at the same time revitalising and enhancing the sustainability of the French and European industrial base in the digital sector.
Furthermore, by encouraging software to be made available open source, Inria helps to build a technological support structure for innovative companies. Giving entrepreneurs access to cutting edge technology and skills also provides a way of boosting innovation in France.
Lastly, the substantial number of young researchers and engineers passing through the institute helps contribute to the external dissemination of the concepts, ideas and technology developed at Inria.
Coq, proof by software
A "Proof Assistant", the Coq software was created at Inria more than 30 years ago to verify computer programs and mathematical theorems. It’s a valuable tool for computer scientists who use it for verification but also as a code-writing aid. It is also popular among mathematicians, seduced by its performance.
InriaSoft - promoting the distribution of opensource software
Some software programs designed by Inria research teams and their partners lead to the set-up of consortia by InriaSoft. The aim is to develop, distribute and establish large-scale software programs, helping to create a support network for users.
MedInria, medical imaging made easy
Mmg, for a more flexible mesh of virtual objects in 3D
OpenViBE, to easily create brain-computer interfaces
Pharo, the universal platform
Pl@ntNet, the plant recognition application
With the PlantNet app, all you have to do to identify a plant is take a photo of it, thanks to an embedded visual recognition system! This is a participative platform for the production, aggregation and dissemination of botanical observations born from the collaboration of four research bodies – Cirad (Centre for International Cooperation in Agronomic Research for Development), Inra (National Institute for Agronomic Research), IRD (Development Research Institute), and Inria.
Sci-Kit Learn, the toolbox for machine learning
Scikit-Learn is a free library developed in Python, a high-level programming language. It is dedicated to machine learning and can be used as middleware, with applications in fraud and spam prevention, targeted marketing, forecasting user behaviour, and optimising industrial and logistics processes.
Shanoir, in the service of neuroimaging
Modelling the human body with SOFA
Modelling physical object systems and how they evolve is the role of SOFA, a software package that now incorporates a large number of models and algorithms, enabling fast development of new simulations. Its areas of application encompass the life sciences with a large number of medical applications, as well as industrial robotics and videogames.
Launched in 2016, the goal of the Software Heritage project is to archive all the source code created by human beings in order to preserve it for the future. The brainchild of research scientists Roberto Di Cosmo and Stefano Zacchiroli in 2014, this project is supported by Unesco and operates thanks to partnerships with Microsoft, DANS, Société Générale, Intel Huawei, Nokia Bell Labs and the University of Bologna. By creating a universal and sustainable archive of source code, Software Heritage aims to build an essential infrastructure serving science, industry, and society.
VIdjil supports high-throughput sequencing
Vidjil analyses high-throughput DNA sequencing data from lymphocytes described in the lymphocyte repertoire. The software allows enhanced diagnosis and monitoring of leukaemia and is used more generally in haematology and immunology research.