Software

Changed on 18/12/2019

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.

Illustration logiciel
© Inria / Photo S. Erôme - Signatures

 

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.

Pharo

Pharo

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.

SOFA

SOFA

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 sur la piste du zéro défaut

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

berry

Cours inaugural de Gérard Berry et séminaire Coq

Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a donné le 13 décembre dernier son premier cours de l'année 2018-2019 "Où va l'informatique ?" à Bordeaux ; il a été suivi du séminaire "Coq