Rechercher une équipe
Au sein des 183 équipes de recherche réparties dans les huit centres Inria, plus de 3400 scientifiques travaillent au quotidien à relever les défis posés aux sciences et technologies de l’information et de la communication.
Depuis 2008, l’Institut a mis en place une nouvelle classification de ses thèmes de recherche qui s’articule autour de 5 domaines. Objectif : mieux décrire une activité scientifique en constante évolution.
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
- IPSO - Méthodes numériques préservant les invariants
- 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
- 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 - Algorithmes pour la Modélisation et la Simulation de Nanosystèmes
- POEMS - Propagation des Ondes : Étude Mathématique et Simulation
- RAPSODI - Reliable numerical approximations of dissipative systems
Approches stochastiques
- ASPI - Applications statistiques des systèmes de particules en interaction
- CQFD - Contrôle de Qualité et Fiabilité Dynamique
- MATHRISK - Mathematical Risk handling
- 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
- APICS - Analyse et problèmes Inverses pour le Contrôle et le Signal
- BIPOP - Modélisation, Simulation, Commande et Optimisation des Systèmes Dynamiques Non Réguliers
- CAGE - Control And GEometry
- 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
- GECO - Geometric Control Design
- 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 - Non-Asymptotic estimation for online systems
- QUANTIC - QUANTum Information Circuits
- SPHINX - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
- TROPICAL - TROPICAL
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
- GALLIUM - Langages de programmation, types, compilation et preuves
- MARELLE - Mathématiques, Raisonnement et Logiciel
- 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
- 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é
- CARTE - Théorie des calculs adverses, et sécurité
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- COMETE - Concurrence, Mobilité et Transactions
- DATASPHERE - Dynamique du pouvoir dans l'anthropocene
- 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 - Threat Analysis and Mitigation for Information Security
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
- 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
- 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
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 - INFormation NEtworks
- MADYNES - Supervision des réseaux et services dynamiques
- NEO - Network Engineering and Operations
- RAP2 - Réseaux, algorithmes et probabilités
- SOCRATE - Radio logicielle et radio cognitive pour les télécommunication
Systèmes distribués et intergiciels
- ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
- ATLANMODELS - Modeling Technologies for Software Production, Operation, and Evolution
- COAST - Web Scale Trustworthy Collaborative Service Systems
- CTRL-A - Commande pour systèmes informatiques autonomiques
- MIMOVE - Middleware on the Move
- MYRIADS - Conception et mise en oeuvre de systèmes distribués autonomes
- REGAL - Répartition et gestion d'applications à large échelle
- SPIRALS - Self-adaptation for distributed services and large software systems
- WHISPER - Well Honed Infrastructure Software for Programming Environments and Runtimes
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 - Data Aware Large Scale Computing
- HIEPACS - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
- KERDATA - Scalable Storage for Clouds and Beyond
- POLARIS - Performance analysis and optimization of LARge Infrastructures and Systems
- ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
- STORM - Optimisation statique, méthodes d’exécution
- TADAAM - Topology-Aware System-Scale Data Management for High-Performance Computing
Programmation distribuée et génie logiciel
- ASCOLA - Langages d'aspects et de composition
- DIVERSE - Diversity-centric Software Engineering
- FOCUS - Foundations of Component-based Ubiquitous Systems
- INDES - Programmation diffuse et sécurisée
- PHOENIX - Technologie des langages de programmation pour les services de communication
- RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
- TACOMA - TAngible COMputing Architectures
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
- MANAO - Melting the frontiers between Light, Shape and Matter
- MAVERICK - Modèles et Algorithmes pour la Visualisation et le Rendu
- MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
- MINT2 - Méthodes et outils pour l'interaction à gestes
- MJOLNIR - DES OUTILS INFORMATIQUES POUR ENCAPACITER LEURS UTILISATEURS
- 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 - Rich Data Exploration at Cloud Scale
- DAHU - Verification en bases de données
- GRAPHIK - Représentation de connaissances et raisonnements à base de graphes
- LACODAM - Large Scale Collaborative Data Mining
- 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 - Value from Data
- 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
- CHROMA - Robots coopératifs et adaptés à la présence humaine en environnements dynamiques
- DEFROST - Deformable Robotic Software
- FLOWERS - Interactions, exploration et apprentissage en robotique développementale et sociale
- HEPHAISTOS - HExapode, PHysiologie, AssISTance et Objets de Service
- LAGADIC - Asservissement visuel en robotique, vision et animation
- LARSEN - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
- PERVASIVE INTERACTION - Pervasive Interaction
- 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 Ecologie
- 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
- MYCENAE - Multiscale dYnamiCs in neuroENdocrine AxEs
- NUMED - Modélisation numérique en médecine
- REO - Simulation numérique d'écoulements biologiques
- SISTM - Statistics In System biology and Translational Medicine
Biologie numérique
- ABS - Algorithmes et Biologie Structurale
- AMIBIO - Algorithms and Models for Integrative BIOlogy
- 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
- 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
- VIRTUAL PLANTS - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes
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
- ASCLEPIOS - Analyse et Simulation d'Images Biomédicales
- ATHENA - Imagerie computationnelle du système Nerveux Central
- BIOVISION - Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
- CAMIN - Control of Artificial Movement & Intuitive Neuroprosthesis
- GALEN - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
- 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é
- XPOP - Modèles statistiques pour les sciences du vivant
