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 COMBO Biomécanique et Méthodes Numériques pour l’analyse de l’interaction humain-systèmes hors du laboratoire ComBO est une équipe-projet commune à Inria et aux Universités de Rennes (dont l'Université de...
Equipe-projet COMPACT Compression de donn ́ees visuelles massives Dans un contexte de production et de consommation massive de données visuelles, l'objectif principal...
Equipe-projet DEVINE Vérification efficace pour des systèmes distribués fiables L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Le but du projet est de modéliser les acteurs clés de processus d'adaptation biologiques, en...
Equipe-projet EMPENN Neuroimagerie: méthodes et applications L'équipe de recherche ERL U1228 Empenn (qui signifie "cerveau " en breton) est affiliée à Inria, à l...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution Les fréquentes annonces d’une énième faille de cybersécurité montrent que la sécurité des logiciels...
Equipe-projet ERMINE Gestion et mesures des opérations et de l'économie des réseaux Les réseaux sont omniprésents et d’une complexité croissante, ils requièrent une gestion efficace de...
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet GENSCALE Algorithmes pour les données génomiques : passage à l’échelle, précision, frugalité Algorithmes pour la génomique, adaptés aux grandes masses de données, optimisés et parallèles...
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
Equipe-projet I4S Inférence pour les InfraStructures Intelligentes et Instrumentées La surveillance d'intégrité de structures (ou SHM, pour Structural Health Monitoring) désigne la...
Equipe-projet KERDATA Stockage et traitement de données sur le continuum Edge-Cloud-HPC Stockage et traitement de données pour infrastructures distribuées à très grande échelle Les...
