Mis à jour le 11/02/2020
Retrouvez la liste des équipes-projets classées par centre de recherche Inria.
Centre Inria Bordeaux - Sud-Ouest
- 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
- Mistis - Modélisation et Inférence de phenomenes aléatoires complexes et structures
- 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
- 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
- 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
- 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é
- 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