Inria |
Institut National de Recherche en Informatique et en Automatique |
|---|---|
| France | |
Introduction
Inria (Institut National de Recherche en Informatique et en Automatique) : Basé en France, Inria est un institut de recherche public dédié aux sciences et technologies du numérique. Il joue un rôle clef dans le Programme National de Recherche en IA, qui vise à promouvoir l'excellence scientifique en IA et à soutenir les collaborations public-privé.
Voici les principaux cadres d'application, bibliothèques ou projets développés ou fortement soutenus par Inria :
| Nom | Catégorie | Description |
|---|---|---|
| Coq | Assistant de preuve formelle | Outil de preuve interactive utilisé pour vérifier formellement des programmes et des théorèmes mathématiques. |
| ELIOM | Programmation web typée | Cadre de développement web côté client/serveur basé sur OCaml. |
| GATB | Bioinformatique | Plateforme de traitement ultra-rapide de données issues du séquençage génomique. |
| Frama-C | Analyse statique de code C | Plateforme d'analyse de code C pour la sécurité, la vérification et la certification de logiciels critiques. |
| MedInria | Analyse et visualisation médicale | Logiciel de traitement d'images médicales 3D open source, développé par Inria Sophia Antipolis. |
| OCaml | Langage de programmation | Langage fonctionnel performant, développé à l'origine par l'INRIA (évolution de Caml). |
| Pleak | Confidentialité et analyse de fuites | Outil d'analyse de la fuite d'information dans les systèmes de gestion de processus métiers (BPM). |
| SimGrid | Simulation de systèmes distribués | Cadre pour la simulation de réseaux, de grappes et d'infrastructures infonuagique à grande échelle. |
| Sofa | Cadre de simulation biomécanique | Plateforme de simulation en temps réel, notamment utilisée en robotique médicale et modélisation d'organes. |
| TLA* Tools | Vérification formelle | Outils pour le langage TLA? permettant la conception et la vérification de systèmes concurrents. |
| Scikit-learn | Bibliothèque d'apprentissage machine | Une des bibliothèques Python les plus utilisées pour l'apprentissage automatique. Développée initialement par une équipe d'Inria. |
| VeriFast | Vérification de programmes C/Java | Cadre pour la vérification formelle de la correction de programmes, principalement en Java et C. |
| VPL | Programmation visuelle | Environnement visuel pour la programmation de robots éducatifs (par exemple Thymio). |
| Why3 | Cadre de vérification de programmes | Plateforme permettant la vérification automatique de programmes à l'aide de multiples prouveurs. |
| Zenoh | Middleware pour IoT et Edge | Système de communication pour les applications temps réel dans l'Internet des objets, développé avec le soutien d'Inria. |
Dernière mise à jour : Jeudi, le 5 juin 2025