Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...
Equipe-projet PETSCRAFT Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
Equipe-projet PLEIADE Patterns de diversité et réseaux de fonctions L'étude de la biologie associe des études de formes (la diversité) et des modélisations de processus...
Equipe-projet ROBOTLEARN Apprentissage, perception et commande pour des robots sociaux L'ambition scientifique de ROBOTLEARN est d'entraîner les robots à acquérir la capacité de regarder...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet SPIRALS Self-adaptation for distributed services and large software systems Spirals mène des activités de recherche dans les domaines des systèmes répartis et des sciences du...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet TITANE Modélisation géométrique d'environnements 3D La modélisation et le traitement de la géométrie s'articulent autour de trois objectifs principaux...
Equipe-projet WIDE le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination Les systèmes informatiques répartis atteignent aujourd'hui des niveaux d' échelle, de dynamisme et...
Equipe-projet WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...
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 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...