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 WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...
Equipe-projet ALPINES Algorithms and parallel tools for integrated numerical simulations ALPINES est un groupe de recherche joint entre INRIA et le Laboratoire J.L. Lions de Sorbonne...
Equipe-projet KOPERNIC Adapter le raisonnement pire cas à différentes criticités Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants...
Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...
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...
Equipe-projet DYOGENE Dynamics of Geometric Networks L'objectif scientifique de DYOGENE est l'étude de la dynamique de réseaux géométriques issus des...
Equipe-projet ARAMIS Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique Notre équipe est intégrée au sein de l'Institut du Cerveau (ICM) et est commune avec le CNRS, l...
Equipe-projet ALMANACH Modélisation et analyse linguistique automatique et humanités computationnelles L'équipe-projet ALMAnaCH ( Automatic Language Modelling and Analysis & Computational Humanities )...
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...
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...