Mis à jour le 12/06/2024
Le logiciel est, avec le matériel, la pierre angulaire de l'informatique. À ce titre, il constitue le cœur des recherches des équipes Inria. Les domaines d'application sont multiples : langages de programmation, compilateurs, systèmes d'exploitation, intergiciels, bases de données, intelligence artificielle, calcul haute performance, modélisation et simulation, sécurité, santé, environnement...
Les enjeux du logiciel sont nombreux, allant de la sécurité et de la protection de la vie privée à l'interopérabilité, en passant par la nécessité de la transparence des algorithmes, dans le contexte de la forte culture de l'open source et de l'open science qui est celle d'Inria depuis toujours.
Les enjeux du logiciel sont nombreux, allant de la sécurité et de la protection de la vie privée à l'interopérabilité, en passant par la nécessité de la transparence des algorithmes, dans le contexte de la forte culture de l'open source et de l'open science qui est celle d'Inria depuis toujours.
Culture et société
Portrait Estelle Cognacq à gauche - © Christophe Abramowitz - Radio France / Portrait Ioana Manolescu à droite - ©Ioana Manolescu
Fact checking : l’intelligence artificielle au service des journalistes
Visualisation de données
Des données pour pimenter les vidéos de compétitions sportives
Prix Inria
Gilles Dowek, explorateur des méthodes formelles
Calcul formel
Certifier l’exactitude, la sécurité et la fiabilité des logiciels : Swarn Priya lauréate du prix L’Oréal-UNESCO 2023
Opensource/Logiciel libre
La bibliothèque logicielle open source CGAL fait entrer la recherche en géométrie algorithmique dans l'industrie
Langages de programmation
De l'importance du debugging
Opensource/Logiciel libre
Microprocesseur open source RISC-V : quelles opportunités pour la recherche en génie logiciel et sécurité ?
Prix & Distinctions
CompCert, un logiciel récompensé par une haute distinction
Startups
La méthode Naimrod pour devenir bilingue
Logiciel
© Inria / Photo N. Dohr