Equipe-projet TYREX Types and Reasoning for the Web Nous construisons les fondements de la prochaine génération de systèmes d'extraction d'information...
Equipe-projet AIO Mise en réseau fiable, sans fil à faible consommation et micro-robotique Inria-AIO is a leading research team in low-power wireless communications. The team is designing...
Equipe-projet AISTROSIGHT La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique L'objectif global est de développer des méthodes numériques innovantes pour la neuropharmacologie...
Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet ASTRAL Méthodes avancées d’apprentissage statistique et de contrôle Les activités de recherche de notre équipe se concentrent principalement sur le développement de...
Equipe-projet BEAGLE Artificial Evolution and Computational Biology La recherche de Beagle concerne la biologie computationnelle et l'évolution artificielle (génétique...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
Equipe-projet BIOVISION Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels Voir est une fonction essentielle pour appréhender le monde et exécuter des tâches complexes. C'est...
Equipe-projet BIVWAC Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être Bivwac est une équipe-projet commune entre le CNRS et Inria, en lien avec le LaBRI (UMR CNRS -...
Equipe-projet CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE rassemble depuis Mai 2016 des chercheurs et enseignants-chercheurs venus de différents...
Equipe-projet CALISTO Approches stochastiques pour les écoulements complexes et l’environnement La modélisation de la turbulence et la dynamique des particules sont en jeu dans de nombreuses...
Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet CAPSULE Cryptographie Appliquée et Sécurité des Implémentations Les activités de recherche de l'équipe CAPSULE sont organisés autour de 5 axes de recherches, la...
Equipe-projet CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...