Domaines de recherche
Les activités scientifiques d'Inria sont regroupées en cinq domaines de recherche auxquels sont attachés cinq adjoints au directeur scientifique. Chacun d'eux entretient une proximité avec les équipes-projets concernées et assure l'animation du domaine en lien avec l'ensemble des directions scientifiques de l'institut.
Nos domaines et thèmes de recherche
Mathématiques appliquées, calcul et simulation
Schémas et simulations numériques
- ACUMES - Analysis and Control of Unsteady Models for Engineering Sciences
- 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
- NACHOS - Modélisation numérique et calcul intensif pour des problèmes d'évolution en domaines complexes et milieux hétérogènes
- POEMS - Propagation des Ondes : Etude Mathématique et Simulation
- RAPSODI - Approximations numériques fiables pour les systèmes dissipatifs
Approches stochastiques
- ASCII - Analyse d’interactions stochastiques intelligentes et coopératives
- CQFD - Contrôle de Qualité et Fiabilité Dynamique
- MATHRISK - Mathematical Risk handling
- SIMSMART - SIMulation pARTiculaire de Modèles Stochastiques
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
- 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
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, Simulation
- 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
Algorithmique, programmation, logiciels et architectures
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
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- 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
- COMETE - Concurrence, Mobilité et Transactions
- 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
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
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
- SPECFUN - Symbolic Special Functions : Fast and Certified
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
- KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
- PARKAS - Parallélisme de Kahn Synchrone
- SPADES - Programmation de systèmes embarqués sûrs et adaptatifs
- TEA - Time, Events and Architectures
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
Réseaux, systèmes et services, calcul distribué
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
- 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
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
Perception, Cognition, Interaction
Vision, perception et interprétation multimedia
- LINKMEDIA - Creating and exploiting explicit links between multimedia fragments
- MORPHEO - Capture et Analyses de Formes en Mouvement
- PERCEPTION - Interprétation et Modélisation d'Images et de Vidéos
- 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
- WILLOW - modèles de la reconnaissance visuelle d'objets et de scènes
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 - Popular interaction with 3d content
- TITANE - Modélisation géométrique d'environnements 3D
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
Langue, parole et audio
- ALMANACH - Modélisation et analyse linguistique automatique et humanités computationnelles
- COML - Apprentissage machine cognitif
- 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
Santé, biologie et planète numériques
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
- MAGIQUE-3D - Modélisation Avancée en GéophysIQUE 3D
- SERENA - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
- STEEP - Soutenabilité, Territoires, Environnement, Economie et Politique
- TONUS - Simulations numériques et TOkamaks
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
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
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