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 ANGE Analyse Numérique, Géophysique et Environnement Les activités de recherche menées au sein de l'équipe ANGE mêlent développement d'outils...
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 HEKA Méthodes basées sur les données et modèles en santé pour l'acquisition de connaissances HeKA est une équipe-projet de recherche commune à Inria, Inserm et l’Université Paris Cité. HeKA...
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 MUSCLEES Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
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 OURAGAN OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs L'équipe OURAGAN se concentre sur le transfert de méthodes de calcul algébriques vers quelques...
Equipe-projet MATHRISK Mathematical Risk handling MATHRISK est un projet joint INRIA Paris, Ecole des Ponts ParisTech (CERMICS), et Université Gustave...
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...