Les équipes-projets par centre de recherche Inria

Mis à jour le 03/04/2020

Retrouvez la liste des équipes-projets classées par centre de recherche Inria.

Centre Inria Bordeaux - Sud-Ouest

  • Auctus - Augmenter le confort humain en usine par cobots
  • Cagire - Computational AGility for internal flows sImulations and compaRisons with Experiments
  • Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
  • Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
  • Cqfd - Contrôle de Qualité et Fiabilité Dynamique
  • Flowers - Interactions, exploration et apprentissage en robotique développementale et sociale
  • Geostat - Géométrie et statistiques dans les données d'acquisition
  • Hiepacs - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
  • Lfant - Théorie algorithmique des nombres rapide et flexible
  • Manao - Melting the frontiers between Light, Shape and Matter
  • Memphis - Modèles et méthodes pour les problèmes multiphysiques et interactions
  • Mnemosyne - Mnemonic Synergy
  • Monc - Modélisation Mathématique pour l'Oncologie
  • Pleiade - Patterns de diversité et réseaux de fonctions
  • Potioc - Popular interaction with 3d content
  • Realopt - Reformulations et algorithmes pour l'Optimisation combinatoire
  • Sistm - Statistics In System biology and Translational Medicine
  • Storm - Optimisation statique, méthodes d’exécution
  • Tadaam - Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance

Centre Inria Grenoble - Rhône Alpes

  • Agora - AlGorithmes et Optimisation pour Réseaux Autonomes
  • Airsea - Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques
  • Aric - Arithmétiques des ordinateurs, méthodes formelles, génération de code
  • Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
  • Beagle - Artificial Evolution and Computational Biology
  • Cash - Compilation et Analyse, Logiciel et Matériel
  • Chroma - Robots coopératifs et adaptés à la présence humaine en environnements
  • Convecs - Construction de systèmes concurrents vérifiés
  • Corse - compiler optimization and run-time systems
  • Ctrl-A - Commande pour systèmes informatiques autonomiques
  • Dante - Réseaux dynamiques : approche structurelle et temporelle
  • Datamove - Mouvements de données pour le calcul haute performance
  • Dracula - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
  • Elan - modELisation de l'Apparence des phénomènes Non-linéaires
  • Erable - Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
  • Ibis - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
  • Imagine - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
  • Maracas - Modèle et algorithmes pour des systèmes de communication fiables
  • Maverick - Modèles et Algorithmes pour la Visualisation et le Rendu
  • Moex - Evolution de la connaissance
  • Morpheo - Capture et Analyses de Formes en Mouvement
  • Mosaic - Simulation et Analyse de la morphogenèse in siliCo
  • Numed - Modélisation numérique en médecine
  • Pervasive - Interaction située avec les objets et environnements intelligents
  • Polaris - Évaluation et optimisation des performances des grandes infrastructures
  • Privatics - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
  • Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement
  • Socrate - Radio logicielle et radio cognitive pour les télécommunication
  • Spades - Programmation de systèmes embarqués sûrs et adaptatifs
  • Statify - Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension
  • Steep - Soutenabilité, Territoires, Environnement, Economie et Politique
  • Thoth - Apprentissage de modèles visuels à partir de données massives
  • Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
  • Tyrex - Types and Reasoning for the Web

Centre Inria Lille - Nord Europe

  • Bonus - Optimisation de grande taille et calcul large échelle
  • Defrost - Logiciels pour robots déformables
  • Fun - self-organizing Future Ubiquitous Network
  • Inocs - Optimisation intégrée pour problèmes à structure complexe
  • Links - Requêtes pour données dynamiques liées
  • Loki - Technologie et connaissance pour l'Interaction
  • Magnet - Machine Learning in Information Networks
  • Modal - MOdel for Data Analysis and Learning
  • Paradyse - Systèmes de particules et systèmes dynamiques
  • Rapsodi - Approximations numériques fiables pour les systèmes dissipatifs
  • Rmod - Analyses et construction de langage pour l'évolution d'applications orientées Objet
  • Sequel - Sequential Learning
  • Spirals - Self-adaptation for distributed services and large software systems
  • Valse - Finite-time control and estimation for distributed systems

Centre Inria Nancy - Grand-Est

  • Bigs - Biologie, génétique et statistiques
  • Camus - Compilation pour les Architectures MUlti-coeurS
  • Capsid - Computational Algorithms for Protein Structures and Interactions
  • Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
  • Coast - Web Scale Trustworthy Collaborative Service Systems
  • Gamble - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
  • Larsen - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
  • Mfx - Matter From Graphics
  • Mocqua - Modèles de calcul émergents
  • Multispeech - Speech Modeling for Facilitating Oral-Based Communication
  • Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
  • Orpailleur - Représentation de connaissances, raisonnements
  • Pesto - Techniques de Preuves pour les Protocoles de Sécurité
  • Pixel -
  • Semagramme - Analyse Sémantique de la Langue
  • Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
  • Tonus - Simulations numériques et TOkamaks
  • Veridis - Modeling and Verification of Distributed Algorithms and Systems

Centre Inria de Paris

  • Almanach - Modélisation et analyse linguistique automatique et humanités computationnelles
  • Alpines - Algorithms and parallel tools for integrated numerical simulations
  • Ange - Analyse Numérique, Géophysique et Environnement
  • Antique - Analyse Statique par Interprétation Abstraite
  • Aramis - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
  • Cage - Contrôle et géométrie
  • Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
  • Cascade - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
  • Commedia - Mathématiques et calcul scientifique pour les applications bio-médicales
  • Cosmiq - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
  • Delys - Algorithmes et systèmes distribués
  • Dyogene - Dynamics of Geometric Networks
  • Eva - Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
  • Gang - Réseaux, graphes et algorithmes
  • Inbio - Méthodes expérimentales et numériques pour la modélisation des processus cellulaires
  • Mamba - Modelling and Analysis for Medical and Biological Applications
  • Matherials - MATHematics for MatERIALS
  • Mathrisk - Mathematical Risk handling
  • Mimove - Middleware on the Move
  • Mokaplan - Avancées en calcul numérique des variations
  • Ouragan - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
  • Parkas - Parallélisme de Kahn Synchrone
  • PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
  • Prosecco - Programming securely with cryptography
  • Quantic - QUANTum Information Circuits
  • Rits - Robotics & Intelligent Transportation Systems
  • Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • Sierra - Apprentissage Statistique et Parcimonie
  • Valda - Valeur à partir des donnés
  • Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes

Centre Inria Rennes - Bretagne Atlantique

  • Cairn - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
  • Celtique - Certification de logiciel par analyse sémantique
  • Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
  • Dionysos - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
  • Diverse - Diversity-centric Software Engineering
  • Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
  • Ease - Solutions pour des environnements intelligents abordables
  • Empenn - EMPENN
  • Fluminance - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
  • Gallinette - Gallinette : vers une nouvelle génération d'assistant à la preuve
  • Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
  • Hybrid - 3D interaction with virtual environments using body and mind
  • Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
  • I4S - Inférence Statistique pour la Surveillance et la Sécurité des Structures
  • Kerdata - Scalable Storage for Clouds and Beyond
  • Lacodam - Fouille de données collaborative à grande échelle
  • Linkmedia - Creating and exploiting explicit links between multimedia fragments
  • Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
  • Mingus - Schémas numériques géométriques multi-échelles
  • Myriads - Conception et mise en oeuvre de systèmes distribués autonomes
  • Pacap - Pushing Architecture and Compilation for Application Performance
  • Panama - (SR0561SR) - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
  • Rainbow - (SR0842HR) - robotique interactive et référencée capteurs
  • Serpico - (SR0582UR) - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
  • Simsmart - (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
  • Sirocco - (SR0505NR) - Analysis representation, compression and communication of visual data
  • Stack - (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
  • Sumo - (SR0671YR) - SUpervision of large MOdular and distributed systems
  • Tamis - (SR0825UR) - Analyse de la menace et atténuation pour la sécurité des informations
  • Tea - (SR0677JR) - Time, Events and Architectures
  • Wide - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination

Centre Inria Saclay - Île-de-France

  • Ascii - Analysis of Stochastic Cooperative Intelligent Interactions
  • Aviz - Analysis and Visualization
  • Cedar - Rich Data Exploration at Cloud Scale
  • Celeste - Mathematical statistics and learning
  • Commands - Control, Optimization, Models, Methods and Applications for Nonlinear
  • Datashape - Understanding the shape of data
  • Deducteam - DEDUCTEAM
  • Defi - Shape reconstruction and identification
  • Disco - Dynamical Interconnected Systems in COmplex Environments
  • Ex-situ - Extreme Situated Interaction
  • Gamma3 - Automatic mesh generation and advanced methods
  • Grace - Geometry, arithmetic, algorithms, codes and encryption
  • Ilda - Interacting with Large Data
  • Lifeware - Computational systems biology and optimization
  • M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • Mexico - Modeling and Exploitation of Interaction and Concurrency
  • Opis - OPtImization for large Scale biomedical data
  • Parietal - Modelling brain structure, function and variability based on high-field MRI data.
  • Partout - Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
  • Petrus - PErsonal & TRUSted cloud
  • Poems - Wave propagation: mathematical analysis and simulation
  • Randopt - Randomized Optimisation
  • Specfun - Symbolic Special Functions : Fast and Certified
  • Tau - TAckling the Underspecified
  • Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
  • Tribe - inTeRnet BEyond the usual
  • Tropical - Tropical methods: structures, algorithms and interactions
  • Xpop - Statistical modelling for life sciences

Centre Inria Sophia Antipolis - Méditerranée

  • Abs - Algorithmes et Biologie Structurale
  • Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
  • Aromath - Algebre geometrie Modelisation et Algorithmes
  • Athena - Imagerie computationnelle du système Nerveux Central
  • Atlantis - Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
  • Biocore - Biological control of artificial ecosystems
  • Biovision - Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels
  • Camin - Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
  • Castor - Control, Analysis and Simulations for TOkamak Research
  • Coati - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
  • Coffee - COmplex Flows For Energy and Environment
  • Datashape - Understanding the shape of data
  • Diana - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
  • Ecuador - Transformations et outils informatiques pour le calcul scientifique
  • Epione - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
  • Factas - Analyse fonctionnelle pour la conception et l'analyse de systèmes
  • Focus - Foundations of Component-based Ubiquitous Systems
  • Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
  • Graphik - Représentation de connaissances et raisonnements à base de graphes
  • Hephaistos - HExapode, PHysiologie, AssISTance et Objets de Service
  • Indes - Programmation diffuse et sécurisée
  • Kairos - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
  • Lemon - Littoral, Environnement, Modèles et Outils Numériques
  • Maasai - Modèles et algorithmes pour l’intelligence artificielle
  • Mathneuro - Mathématiques pour les Neurosciences
  • McTao - Mathématiques pour le Contrôle, le Transport et leurs Applications
  • Morpheme - Morphologie et Images
  • Neo - Ingénierie et Opérations des Réseaux
  • Stamp - • Sûreté du logiciel et Preuves Mathématiques Formalisées
  • Stars - Spatio-Temporal Activity Recognition Systems
  • Titane - Modélisation géométrique d'environnements 3D
  • Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics
  • Zenith - Gestion de données scientifiques