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.
Jean Roman
-
Photo M. Sgandura
Domaine de recherche
Mathématiques appliquées, calcul & simulation
Jean Roman est adjoint au directeur scientifique, en charge du domaine de recherche «
Mathématiques appliquées, calcul & simulation »
.
Didier Rémy
-
© Inria / Photo G. Scagnelli
Domaine de recherche
Algorithmique, programmation, logiciels et architectures
Didier Remy est adjoint au directeur scientifique, en charge du domaine de recherche "Algorithmique, programmation, logiciels et architectures"
.
Frédéric Desprez
-
Photo G. Maisonneuve
Domaine de recherche
Réseaux, Systèmes et services, calcul distribué
Frédéric Desprez est adjoint au directeur scientifique, en charge du domaine de recherche "Réseaux, Systèmes et services, calcul distribué".
© Inria / Vanessa Peregrin
Domaine de recherche
Perception, cognition, interaction
Peter Sturm est adjoint au directeur scientifique, en charge du domaine de recherche "Perception, cognition, interaction".
© Inria / Photo G. Scagnelli
Domaine de recherche
Santé, biologie et planète numériques
Hugues Berry est adjoint au directeur scientifique, en charge du domaine de recherche "Santé, biologie et planète numériques".
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
- GAMMA3 - Génération automatique de maillages et méthodes avancées
- MATHERIALS - MATHematics for MatERIALS
- MEMPHIS - Modèles et méthodes pour les problèmes multiphysiques et interactions
- MEPHYSTO-POST - Méthodes quantitatives pour les modèles aléatoires de la physique
- 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
- NANO-D-POST - Algorithms for Modeling and Simulating Nanosystems
- POEMS-POST - Propagation des Ondes: Etude Mathématique et Simulation
- RAPSODI - Approximations numériques fiables pour les systèmes dissipatifs
Approches stochastiques
- CQFD - Contrôle de Qualité et Fiabilité Dynamique
- MATHRISK - Mathematical Risk handling
- SIMSMART - SIMulation pARTiculaire de Modèles Stochastiques
- TOSCA - Simuler et calibrer des modèles stochastiques
Optimisation, apprentissage et méthodes statistiques
- BONUS - Optimisation de grande taille et calcul large échelle
- GEOSTAT - Géométrie et statistiques dans les données d'acquisition
- INOCS - Integrated Optimization with Complex Structure
- MISTIS - Modélisation et Inférence de phenomenes aléatoires complexes et structures
- MODAL - MOdel for Data Analysis and Learning
- RANDOPT - Randomized Optimisation
- REALOPT - Reformulations et algorithmes pour l'Optimisation combinatoire
- SELECT - Sélection de modèles en apprentissage statistique
- SEQUEL - Sequential Learning
- SIERRA - Apprentissage Statistique et Parcimonie
- TAU - TAckling the Underspecified
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
- NECS - Systèmes Commandés en Réseau
- NON-A POST - Non-Asymptotic estimation for online systems
- 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
Algorithmique, programmation, logiciels et architectures
Preuves et vérification
- ANTIQUE - Analyse Statique par Interprétation Abstraite
- 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
- GALLIUM - Langages de programmation, types, compilation et preuves
- MARELLE - Mathématiques, Raisonnement et Logiciel
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOCQUA - Designing the Future of Computational Models
- 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
- 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
- DATASPHERE - Economie des données et des plateformes
- 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
- DATASHAPE - Comprendre la forme des données
- GAIA - Géométrie, Algèbre, Informatique, Applications
- 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 pour la Géométrie et ses 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
- AOSTE2 - Models and methods of analysis and optimization for systems with real-time and embedded contraints
- HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
- KAIROS - Logical Time for Formal Embedded System Design
- 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
- INFINE-POST - INFormation NEtworks
- MARACAS - Modèle et algorithmes pour des systèmes de communication fiables
- NEO - Ingénierie et Opérations des Réseaux
- RESIST - Résilience et élasticité à large échelle pour les systèmes en réseaux dynamiques et sécurisés
- SOCRATE - Radio logicielle et radio cognitive pour les télécommunication
Systèmes distribués et intergiciels
- COAST - Web Scale Trustworthy Collaborative Service Systems
- CTRL-A - Commande pour systèmes informatiques autonomiques
- DELYS - Algorithmes pour 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
- STACK - Software Stack for Massively Geo-Distributed Infrastructures
- 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 - Enabling Affordable Smarter Environment
- FOCUS - Foundations of Component-based Ubiquitous Systems
- INDES - Programmation diffuse et sécurisée
- PHOENIX-POST - Technologie des langages de programmation pour les services de communication
- RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
Perception, Cognition, Interaction
Vision, perception et interprétation multimedia
- LINKMEDIA - Creating and exploiting explicit links between multimedia fragments
- MAGRIT - Augmentation visuelle d'environnements complexes
- 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
- ALICE - Géometrie et Lumière
- 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 - Matter From Graphics
- 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
- AUCTUS - Augmenter l'humain par CoboT pour n Usage en Symbiose
- CHORALE - Robots collaboratifs et hétérogènes interagissant dans des environnements vivants
- 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 - Automatic Language Modelling and ANAlysis & Computational Humanities
- 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 : Méthodes 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 - TOkamaks and NUmerical Simulations
Modélisation et commande pour le vivant
- BIOCORE - Biological control of artificial ecosystems
- CARMEN - Modélisation et calculs pour l'électrophysiologie cardiaque
- DRACULA - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
- 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
- REO - Simulation numérique d'écoulements biologiques
- 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
- BONSAI - Bioinformatics and Sequence Analysis
- 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 - from patterns to models in computational biodiversity and biotechnology
- SERPICO - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
- TAPDANCE - Theory and Practice of Nanoscale Computing Engines
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 - Control of Artificial Movement & Intuitive Neuroprosthesis
- EPIONE - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
- GALEN-POST - Images, modèles et algorithmes pour la médecine et les neurosciences
- MATHNEURO - Mathématiques pour les Neurosciences
- MIMESIS - Computational Anatomy and Simulation for Medicine
- MNEMOSYNE - Mnemonic Synergy
- NEUROSYS - Analysis and modeling of neural systems by a system neuroscience approach
- PARIETAL - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
- VISAGES - Vision, Action et Gestion d'informations en Santé
