Changed on 06/11/2020

Along with hardware, software is the cornerstone of computer science. As such, it lies at the heart of the research conducted by Inria's teams. The applications are numerous: programming languages, compilers, operating systems, middleware, databases, AI, high-performance computing, modelling and simulation, security, health, the environment, and so on.


The challenges in software are many, ranging from security and the protection of privacy to interoperability, not to mention the need for algorithmic transparency given today's strong "opensource" and "open science" culture, which Inria has espoused since the beginning.

Software support consortia

To ensure the long-term future of these software assets, to maintain support for the global community of users and to maximise its impact, Inria has developed a consortium-based strategy which assembles ecosystems of developers and industry users around its key software.



A simple and stable open source software development platform, adaptable to all development missions, even the most critical ones: this is the role of Pharo. The Pharo consortium brings together a wide range of users with manufacturers such as Synectique, Thales, Lifeware, but also academic players such as the Faculty of Information Technology in Prague (Czech Republic) Fundación Argentina de Smalltalk.



Modeling physical object systems and their evolution is the role of SOFA, a software that now integrates a large number of models and algorithms, thus allowing the rapid development of new simulations. Its fields of application? The living with a large number of medical applications, but also industrial robotics and video games.  

InriaSoft's objective is to industrialize, distribute and perpetuate large-scale software...

A global archive for software

Logo Software Heritage

Inria has supported Software Heritage since its inception in 2016. Software Heritage is an international software archive which aims to collect, index, preserve and ensure access for everyone to the source code of all software.



A creative ability that can meet any challenge

Whether they are developing new architectures or programming languages, offering industry partners proof- and formal methods-based verification tools, or building embedded systems for healthcare, the space industry or autonomous vehicles, the Inria project teams display a creative ability that can meet any challenge.


xavier leroy

Xavier Leroy on the road to zero defects

Xavier Leroy, a member of the Cambium team (following Gallium team), focuses his research on the formal verification of compilers. He is responsible for the OCaml functional programming language and the compiler formally verified with COQ, CompCert


Gérard Berry's inaugural course and Coq seminar

Gérard Berry, holder of the "Algorithms, Machines and Languages" Chair at the Collège de France, gave his first course of the year 2018-2019 "Where is computing going?" in Bordeaux on December 13; it was followed by the seminar "Coq: practical aspects of type theory".