Liste des équipes-projets par domaines et thèmes de recherche

Mis à jour le 14/02/2020

Retrouvez ci-dessous les équipes-projets Inria listées par domaines et thèmes de recherche.

Mathématiques appliquées, calcul et simulation

Approches stochastiques

  • Ascii - Analyse d’interactions stochastiques intelligentes et coopératives
  • Cqfd - Contrôle de Qualité et Fiabilité Dynamique
  • Mathrisk - Mathematical Risk handling
  • Simsmart - SIMulating Stochastic Models with pARTicles

Optimisation et contrôle de systèmes dynamiques

  • Cage - Contrôle et géométrie
  • Commands - Controle, Optimisation, modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
  • Disco - Systèmes dynamiques interconnectés dans des environnements complexes
  • Factas - Analyse fonctionnelle pour la conception et l'analyse de systèmes
  • I4s - Inférence Statistique pour la Surveillance et la Sécurité des Structures
  • Mctao - Mathématiques pour le Contrôle, le Transport et leurs Applications
  • Quantic - QUANTum Information Circuits
  • Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization
  • Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
  • Tropical - Méthodes tropicales: structures, algorithmes et interactions
  • Valse - Contrôle en temps fini et estimation pour des systèmes distribués

Optimisation, apprentissage et méthodes statistiques

  • Bonus - Optimisation de grande taille et calcul large échelle
  • Celeste - Statistique mathématique et apprentissage
  • Geostat - Géométrie et statistiques dans les données d'acquisition
  • Inocs - Optimisation intégrée pour problèmes à structure complexe
  • Maasai - Modèles et algorithmes pour l’intelligence artificielle
  • Mistis - Modélisation et Inférence de phenomenes aléatoires complexes et structures
  • Modal - MOdel for Data Analysis and Learning
  • Randopt - Optimisation par algorithmes stochastiques
  • Realopt - Reformulations et algorithmes pour l'Optimisation combinatoire
  • Sequel - Sequential Learning
  • Sierra - Apprentissage Statistique et Parcimonie
  • Tau - IA : vers des problèmes mieux posés 

Schémas et simulations numériques

  • Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
  • Atlantis - Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
  • 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
  • Defi - Détermination de Formes Et Identification
  • Ecuador - Transformations et outils informatiques pour le calcul scientifique
  • Elan - modELisation de l'Apparence des phénomènes Non-linéaires
  • Gamma - Génération Adaptative de Maillage et Méthodes numériques Avancées
  • Matherials - MATHematics for MatERIALS
  • Memphis - Modèles et méthodes pour les problèmes multiphysiques et interactions
  • Mingus - Schémas numériques géométriques multi-échelles
  • Mokaplan - Avancées en calcul numérique des variations
  • Poems - Propagation des Ondes : Etude Mathématique et Simulation
  • Rapsodi - Approximations numériques fiables pour les systèmes dissipatifs

Algorithmique, programmation, logiciels et architectures

Algorithmique, calcul formel et cryptologie

  • Aric - Arithmétiques des ordinateurs, méthodes formelles, génération de code
  • Aromath - Algebre geometrie Modelisation et Algorithmes
  • Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
  • Cascade - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
  • Cosmiq - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
  • Datashape - Comprendre la forme des données
  • Gamble - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
  • Grace - Geometry, arithmetic, algorithms, codes and encryption
  • Lfant - Théorie algorithmique des nombres rapide et flexible
  • Ouragan - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
  • Specfun - Symbolic Special Functions : Fast and Certified

Architecture, langages et compilation

  • Cairn - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
  • Camus - Compilation pour les Architectures MUlti-coeurS
  • Cash - Compilation et Analyse, Logiciel et Matériel
  • Corse - compiler optimization and run-time systems
  • Pacap - Pushing Architecture and Compilation for Application Performance

Preuves et vérification

  • Antique - Analyse Statique par Interprétation Abstraite
  • Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
  • Celtique - Certification de logiciel par analyse sémantique
  • Convecs - Construction de systèmes concurrents vérifiés
  • Deducteam - DEDUCTEAM
  • Gallinette - Gallinette : vers une nouvelle génération d'assistant à la preuve
  • Mexico - Modeling and Exploitation of Interaction and Concurrency
  • Partout - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
  • Pi.r2 - Conception, étude et implémentation de langages pour les preuves et les programmes
  • Stamp - Sûreté du logiciel et Preuves Mathématiques Formalisées
  • Sumo - SUpervision of large MOdular and distributed systems
  • Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
  • Veridis - Modeling and Verification of Distributed Algorithms and Systems

Sécurité et confidentialité

  • Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
  • Pesto - Techniques de Preuves pour les Protocoles de Sécurité
  • Privatics - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
  • Prosecco - Programming securely with cryptography
  • Tamis - Analyse de la menace et atténuation pour la sécurité des informations

Systèmes embarqués et temps réel

  • Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
  • Kairos - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
  • Parkas - Parallélisme de Kahn Synchrone
  • Spades - Programmation de systèmes embarqués sûrs et adaptatifs
  • Tea - Time, Events and Architectures 

Réseaux, systèmes et services, calcul distribué

Calcul distribué et à haute performance

  • Alpines - Algorithms and parallel tools for integrated numerical simulations
  • Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
  • Datamove - Mouvements de données pour le calcul haute performance
  • Hiepacs - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
  • Kerdata - Scalable Storage for Clouds and Beyond
  • Polaris - Évaluation et optimisation des performances des grandes infrastructures
  • Roma - - Optimisation des ressources : modèles, algorithmes et ordonnancement
  • 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

Programmation distribuée et génie logiciel

  • Diverse - Diversity-centric Software Engineering
  • Ease - Solutions pour des environnements intelligents abordables
  • Focus - Foundations of Component-based Ubiquitous Systems
  • Indes - Programmation diffuse et sécurisée
  • Rmod - Analyses et construction de langage pour l'évolution d'applications orientées Objet
  • Stack - Pile logicielle pour les infrastructures massivement géo distribuées

Réseaux et télécommunications

  • Agora - AlGorithmes et Optimisation pour Réseaux Autonomes
  • Coati - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
  • Dante - Réseaux dynamiques : approche structurelle et temporelle
  • Diana - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
  • Dionysos - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
  • Dyogene - Dynamics of Geometric Networks
  • Eva - Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
  • Fun - self-organizing Future Ubiquitous Network
  • Gang - Réseaux, graphes et algorithmes
  • Maracas - Modèle et algorithmes pour des systèmes de communication fiables
  • Neo - Ingénierie et Opérations des Réseaux
  • Socrate - Radio logicielle et radio cognitive pour les télécommunication
  • Tribe - Pour un Internet non-conventionnel

Systèmes distribués et intergiciels

  • Coast - Web Scale Trustworthy Collaborative Service Systems
  • Ctrl-a - Commande pour systèmes informatiques autonomiques
  • Delys - Algorithmes et systèmes distribués
  • Mimove - Middleware on the Move
  • Myriads - Conception et mise en oeuvre de systèmes distribués autonomes
  • Spirals - Self-adaptation for distributed services and large software systems
  • Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
  • Wide - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination

Perception, Cognition, Interaction

Interaction et visualisation

  • Aviz - Analyse Visuelle
  • Ex-situ - Interaction Située Extrême
  • Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
  • Hybrid - 3D interaction with virtual environments using body and mind
  • Ilda - Interacting with Large Data
  • Imagine - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
  • Loki - Technologie et connaissance pour l'Interaction
  • Manao - Melting the frontiers between Light, Shape and Matter
  • Maverick - Modèles et Algorithmes pour la Visualisation et le Rendu
  • Mfx - Informatique graphique pour la fabrication numérique
  • Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
  • Potioc - Nouvelles Interactions Multimodales pour une Expérience Utilisateur Stimulante
  • Titane - Modélisation géométrique d'environnements 3D

Langue, parole et audio

  • Almanach - Modélisation et analyse linguistique automatique et humanités computationnelles
  • Multispeech - Speech Modeling for Facilitating Oral-Based Communication
  • Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
  • Semagramme - Analyse Sémantique de la Langue

Représentation et traitement des données et des connaissances

  • Cedar - Analyse et traitement de données complexes à grande échelle
  • Graphik - Représentation de connaissances et raisonnements à base de graphes
  • Lacodam - Fouille de données collaborative à grande échelle
  • Links - Requêtes pour données dynamiques liées
  • Magnet - Machine Learning in Information Networks
  • Moex - Evolution de la connaissance
  • Orpailleur - Représentation de connaissances, raisonnements
  • Petrus - Cloud personnel sécurisé
  • Tyrex - Types and Reasoning for the Web
  • Valda - Valeur à partir des donnés
  • Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics
  • Zenith - Gestion de données scientifiques 

Robotique et environnements intelligents

  • Chroma - Robots coopératifs et adaptés à la présence humaine en environnements
  • Defrost - Logiciels pour robots déformables
  • Flowers - Interactions, exploration et apprentissage en robotique développementale et sociale
  • Hephaistos - HExapode, PHysiologie, AssISTance et Objets de Service
  • Larsen - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
  • Pervasive - Interaction située avec les objets et environnements intelligents
  • Rainbow - robotique interactive et référencée capteurs
  • Rits - Robotics & Intelligent Transportation Systems

Vision, perception et interprétation multimédia

  • Linkmedia - Creating and exploiting explicit links between multimedia fragments
  • Morpheo - Capture et Analyses de Formes en Mouvement
  • Sirocco - Analysis representation, compression and communication of visual data
  • Stars - Spatio-Temporal Activity Recognition Systems
  • Thoth - Apprentissage de modèles visuels à partir de données massives

Santé, biologie et planète numériques

Biologie numérique

  • Abs - Algorithmes et Biologie Structurale
  • Beagle - Artificial Evolution and Computational Biology
  • Bigs - Biologie, génétique et statistiques
  • Capsid - Computational Algorithms for Protein Structures and Interactions
  • Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
  • Erable - Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
  • Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
  • Ibis - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
  • Lifeware - Computational systems biology and optimization
  • Morpheme - Morphologie et Images
  • Mosaic - Simulation et Analyse de la morphogenèse in siliCo
  • Pleiade - Patterns de diversité et réseaux de fonctions
  • Serpico - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires

Modélisation et commande pour le vivant

  • Biocore - Biological control of artificial ecosystems
  • Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
  • Commedia - Mathématiques et calcul scientifique pour les applications bio-médicales
  • Dracula - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
  • Inbio - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
  • M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • Mamba - Modelling and Analysis for Medical and Biological Applications
  • Monc - Modélisation Mathématique pour l'Oncologie
  • Numed - Modélisation numérique en médecine
  • Sistm - Statistics In System biology and Translational Medicine
  • Xpop - Modélisation statistique pour les sciences du vivant

Neurosciences et médecine numériques

  • Aramis - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
  • Athena - Imagerie computationnelle du système Nerveux Central
  • 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
  • Empenn - Empenn
  • Epione - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
  • Mathneuro - Mathématiques pour les Neurosciences
  • Mnemosyne - Mnemonic Synergy
  • Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
  • Opis - OPtimisation Imagerie et Santé
  • Parietal - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ

Sciences de la planète, de l'environnement et de l'énergie

  • Airsea - Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques
  • Ange - Analyse Numérique, Géophysique et Environnement
  • Castor - Control, Analysis and Simulations for TOkamak Research
  • Coffee - COmplex Flows For Energy and Environment
  • Fluminance - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
  • Lemon - Littoral, Environnement, Modèles et Outils Numériques
  • Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • Steep - Soutenabilité, Territoires, Environnement, Economie et Politique
  • Tonus - Simulations numériques et TOkamaks