Equipe-projet RESIST Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques L'équipe projet RESIST conçoit, développe et valide de nouveaux modèles, algorithmes et outils pour...
Equipe-projet SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet SIMSMART SIMulation pARTiculaire de Modèles Stochastiques Simsmart est une équipe de recherche en statistique et probabilités numériques, dédiée à l'étude...
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 TOPAL Outils et Optimisations pour le Calcul Haute Performance et l'Apprentissage L’objectif de l’équipe Topal ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) est de proposer...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...
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 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 BEAGLE Artificial Evolution and Computational Biology La recherche de Beagle concerne la biologie computationnelle et l'évolution artificielle (génétique...
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...
Equipe-projet COMMEDIA Mathématiques et calcul scientifique pour les applications bio-médicales L’activité de recherche de COMMEDIA est axée sur la simulation numérique d'écoulements bio-fluides...