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 MAMBA Modelling and Analysis for Medical and Biological Applications Mamba est une équipe de chercheurs en mathématiques appliquées, en informatique, en physique...
Equipe-projet MATHERIALS MATHematics for MatERIALS L'équipe MATHERIALS a pour objectif de mettre au point des méthodes numériques performantes et...
Equipe-projet MATHRISK Mathematical Risk handling MATHRISK est un projet joint INRIA Paris, Ecole des Ponts ParisTech (CERMICS), et Université Gustave...
Equipe-projet MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
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 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 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 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 ALMANACH Modélisation et analyse linguistique automatique et humanités computationnelles L'équipe-projet ALMAnaCH ( Automatic Language Modelling and Analysis & Computational Humanities )...