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.
A global archive for software
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 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".