Inria
Inria.fr
Inria Channel
Fields of research
Inria is organised around five fields of research. Each field of research is headed up by a Deputy Scientific Director, who coordinates research and forward planning in his/her field.... Meet our five chief scientists.
© Inria / Photo J. Wallace
Fields of research
ICST for life and environmental sciences
Alain Viari is the Deputy Scientific Director responsible for the field of "ICST for life and environmental sciences". In a 2010 interview (in french), the previous Deputy Scientific Director for this field, explained the implications ...
© Inria / Photo Kaksonen
Fields of research
Applied Mathematics and Computing
Jean Roman is Deputy Scientific Director of the Research Department with responsibility for Applied Mathematics, Computing, and Simulation. In a 2010 interview (in french), Bernard Espiau, the previous Deputy Scientific Director for this field, ...
Fields of research
Perception, Cognition & Interaction
"The 700 people in this research field, divided into 43 research teams, are studying communication with the physical world in all its forms: textual, visual and auditory. These researchers are looking at perception through the medium of sensors, ...
Fields of research
Networks, systems and services, distributed computing
"The research teams in this field help to define what will be the future of the Internet as a communication infrastructure, as well as a computing infrastructure in the broad sense. The researchers are interested in the development of innovative ...
Our research fields and themes
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
- ALEA - Advanced Learning Evolutionary Algorithms
- ASPI - Applications of interacting particle systems to statistics
- CQFD - Quality control and dynamic reliability
- I4S - Statistical Inference for Structural Health Monitoring
- MATHRISK - Mathematical Risk handling
- REGULARITY - Probabilistic modelling of irregularity and application to uncertainties management
- TOSCA - TO Simulate and CAlibrate stochastic models
Computational models and simulation
- BACCHUS - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems
- CAD - Computer Aided Design
- CAGIRE - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
- CALVI - Scientific computation and visualization
- CASTOR - Control, Analysis and Simulations for TOkamak Research
- COFFEE - COmplex Flows For Energy and Environment
- CONCHA - Complex Flow Simulation Codes based on High-order and Adaptive methods
- DEFI - Shape reconstruction and identification
- GAMMA3 - Automatic mesh generation and advanced methods
- IPSO - Invariant Preserving SOlvers
- MC2 - Modeling, control and computations
- MICMAC - Methods and engineering of multiscale computing from atom to continuum
- NACHOS - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
- NANO-D - Algorithms for Modeling and Simulation of Nanosystems
- OPALE - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
- POEMS - Wave propagation: mathematical analysis and simulation
- SCIPORT - Program transformations for scientific computing
- SIMPAF - SImulations and Modeling for PArticles and Fluids
- SMASH - Simulation, modeling and analysis of heterogeneous systems
Optimization, Learning and Statistical Methods
- CLASSIC - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
- DOLPHIN - Parallel Cooperative Multi-criteria Optimization
- GEOSTAT - Geometry and Statistics in acquisition data
- MISTIS - Modelling and Inference of Complex and Structured Stochastic Systems
- MODAL - MOdel for Data Analysis and Learning
- REALOPT - Reformulations based algorithms for Combinatorial Optimization
- SELECT - Model selection in statistical learning
- SEQUEL - Sequential Learning
- SIERRA - Statistical Machine Learning and Parsimony
- TAO - Machine Learning and Optimisation
Modeling, Optimization, and Control of Dynamic Systems
- APICS - Analysis and Problems of Inverse type in Control and Signal processing
- BIPOP - Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems
- COMMANDS - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
- CORIDA - Robust control of infinite dimensional systems and applications
- DISCO - Dynamical Interconnected Systems in COmplex Environments
- GECO - Geometric Control Design
- MAXPLUS - Max-plus algebras and mathematics of decision
- MCTAO - Mathematics for Control, Transport and Applications
- NECS - Networked Controlled Systems
- NON-A - Non-Asymptotic estimation for online systems
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- ABSTRACTION - Abstract Interpretation and Static Analysis
- ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
- CARTE - Theoretical adverse computations, and safety
- CASSIS - Combination of approaches to the security of infinite states systems
- CELTIQUE - Software certification with semantic analysis
- COMETE - Concurrency, Mobility and Transactions
- CONTRAINTES - Constraint programming
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Formal Methods for Embedded Systems
- GALLIUM - Programming languages, types, compilation and proofs
- MARELLE - Mathematical, Reasoning and Software
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOSCOVA - Mobililty, security, concurrence, verification and analysis
- PAREO - Formal islands: foundations and applications
- PARSIFAL - Proof search and reasoning with logic specifications
- PI.R2 - Design, study and implementation of languages for proofs and programs
- PROSECCO - Programming securely with cryptography
- SECSI - Security of information systems
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, Logic and computing
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithms, Certification, and Cryptography
- ALGORITHMS - Algorithms
- ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
- CARAMEL - Cryptology, Arithmetic: Hardware and Software
- CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
- CRYPT - Cryptanalyse
- GALAAD - Geometry, algebra, algorithms
- GEOMETRICA - Geometric computing
- GRACE - Geometry, arithmetic, algorithms, codes and encryption
- LFANT - Lithe and fast algorithmic number theory
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Security, Cryptology and Transmissions
- VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
Embedded and Real Time Systems
- AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
- CONVECS - Construction of verified concurrent systems
- DART - contributions of the Data parallelism to real time
- ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
- MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
- S4 - System synthesis and supervision, scenarios
- TRIO - Real time and interoperability
- VERTECS - Verification models and techniques applied to testing and control of reactive systems
Architecture and Compiling
Networks, Systems and Services, Distributed Computing
Networks and Telecommunications
- DANTE - Dynamic Networks : Temporal and Structural Capture Approach
- DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
- DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
- DNET - Dynamic Networks
- FUN - self-organizing Future Ubiquitous Network
- GANG - Networks, Graphs and Algorithms
- HIPERCOM - High performance communication
- MADYNES - Management of dynamic networks and services
- MAESTRO - Models for the performance analysis and the control of networks
- MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
- PLANETE - Protocols and applications for the Internet
- RAP - Networks, Algorithms and Probabilities
- RESO - Protocols and softwares for very high-performance network
- SOCRATE - Software and Cognitive radio for telecommunications
- TREC - Theory of networks and communications
- URBANET - Réseaux capillaires urbains
Distributed Systems and Services
- ACES - Ambient computing and embedded systems
- ADAM - Adaptive Distributed Applications and Middleware
- ARLES - Software architectures and distributed systems
- ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
- ASCOLA - Aspect and composition languages
- ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- FOCUS - Foundations of Component-based Ubiquitous Systems
- INDES - Secure Diffuse Programming
- LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
- MYRIADS - Design and Implementation of Autonomous Distributed Systems
- OASIS - Active objects, semantics, Internet and security
- PHOENIX - Programming Language Technology For Communication Services
- POPS - System and Networking for Portable Objects Proved to be Safe
- REGAL - Large-Scale Distributed Systems and Applications
- RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
- SARDES - System architecture for reflective distributed computing environments
- SCORE - Services and Cooperation
- TRISKELL - Reliable and efficient component based software engineering
Distributed and High Performance Computing
- ALGORILLE - Algorithms for the Grid
- AVALON - Architecture logicielle et algorithmique pour plateformes orientées service
- CEPAGE - Algorithmics for computationally intensive applications over wide scale distributed platforms
- GRAND-LARGE - Global parallel and distributed computing
- HIEPACS - High-End Parallel Algorithms for Challenging Numerical Simulations
- KERDATA - Scalable Storage for Clouds and Beyond
- MESCAL - Middleware efficiently scalable
- MOAIS - PrograMming and scheduling design fOr Applications in Interactive Simulation
- ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
- RUNTIME - Efficient runtime systems for parallel architectures
Perception, Cognition, Interaction
Vision, Perception and Multimedia Understanding
- AYIN - Stochastic models for remote sensing and skincare image processing
- IMEDIA2 - Images et multimédia : indexation, navigation et recherche
- LEAR - Learning and recognition in vision
- MAGRIT - Visual Augmentation of Complex Environments
- MORPHEO - Capture and Analysis of Shapes in Motion
- PERCEPTION - Interpretation and Modelling of Images and Videos
- PRIMA - Perception, recognition and integration for observation of activity
- SIROCCO - Analysis representation, compression and communication of visual data
- STARS - Spatio-Temporal Activity Recognition Systems
- TEXMEX - Multimedia content-based indexing
- WILLOW - Models of visual object recognition and scene understanding
Interaction and Visualization
- ALICE - Geometry and Lighting
- AVIZ - Analysis and Visualization
- IMAGINE - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
- IN-SITU - Situated interaction
- 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
- MINT - Methods and tools for gestural interactions
- POTIOC - Popular interaction with 3d content
- REVES - Rendering and virtual environments with sound
- VR4I - Virtual Reality for Improved Innovative Immersive Interaction
Knowledge and Data Representation and Management
- AXIS - Usage-centered design, analysis and improvement of information systems
- DAHU - Verification in databases
- DREAM - Diagnosing, Recommending Actions and Modelling
- EXMO - Computer mediated exchange of structured knowledge
- GRAVITE - Graph Visualization and Interactive Exploration
- MAIA - Autonomous intelligent machine
- MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
- OAK - Optimizations and Architectures for Complex large data
- ORPAILLEUR - Knowledge representation, reasonning
- SMIS - Secured and Mobile Information Systems
- TYREX - Types and reasoning for the web
- WAM - Web, adaptation and multimedia
- WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
- ZENITH - Scientific Data Management
Robotics
- COPRIN - Constraints solving, optimization and robust interval analysis
- E-MOTION - Geometry and Probability for Motion and Action
- EVOLUTION - Embedded computer Vision sOLUTION
- FLOWERS - Flowing Epigenetic Robots and Systems
- IMARA - Informatics, Mathematics and Automation for La Route Automatisée
- LAGADIC - Visual servoing in robotics, computer vision, and augmented reality
Audio, Speech, and Language Processing
Computational Sciences for Biology, Medicine and the Environment
Observation and Modeling for Environmental Sciences
- ANGE - Numerical Analysis, Geophysics and Ecology
- CLIME - Coupling environmental data and simulation models for software integration
- FLUMINANCE - Fluid Flow Analysis, Description and Control from Image Sequences
- MAGIQUE-3D - Advanced 3D Numerical Modeling in Geophysics
- MOISE - Modelling, Observations, Identification for Environmental Sciences
- POMDAPI - Environmental Modeling, Optimization and Programming Models
- SAGE - Simulations and Algorithms on Grids for Environment
- STEEP - Sustainability transition, environment, economy and local policy
Observation, Modeling, and Control for Life Sciences
- BANG - Nonlinear Analysis for Biology and Geophysical flows
- BIGS - Biology, genetics and statistics
- BIOCORE - Biological control of artificial ecosystems
- CARMEN - Modélisation et calculs pour l'électrophysiologie cardiaque
- DRACULA - Multi-scale modelling of cell dynamics : application to hematopoiesis
- MACS - Modeling, analysis and control in computational structural dynamics
- MASAIE - Tools and models of nonlinear control theory for epidemiology and immunology
- MODEMIC - Modelling and Optimisation of the Dynamics of Ecosystems with MICro-organisme
- NUMED - Numerical Medicine
- REO - Numerical simulation of biological flows
- SISYPHE - SIgnals and SYstems in PHysiology & Engineering
- VIRTUAL PLANTS - Modeling plant morphogenesis at different scales, from genes to phenotype
Computational Biology and Bioinformatics
- ABS - Algorithms, Biology, Structure
- AMIB - Algorithms and Models for Integrative Biology
- BAMBOO - An algorithmic view on genomes, cells, and environments
- BEAGLE - Artificial Evolution and Computational Biology
- BONSAI - Bioinformatics and Sequence Analysis
- DYLISS - Dynamics, Logics and Inference for biological Systems and Sequences
- GENSCALE - Scalable, Optimized and Parallel Algorithms for Genomics
- IBIS - Modeling, simulation, measurement, and control of bacterial regulatory networks
- MAGNOME - Models and Algorithms for the Genome
- MORPHEME -
- SERPICO - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
Computational Medicine and Neurosciences
- ARAMIS - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
- ASCLEPIOS - Analysis and Simulation of Biomedical Images
- ATHENA - Computational Imaging of the Central Nervous System
- CORTEX - Neuromimetic intelligence
- DEMAR - Artificial movement and gait restoration
- GALEN - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
- MNEMOSYNE - Mnemonic Synergy
- NEUROMATHCOMP - Mathematical and Computational Neuroscience
- ORCHESTRON - Orchestron : from neuronal rhythms to rhythmic brain functions
- PARIETAL - Modelling brain structure, function and variability based on high-field MRI data.
- SHACRA - Simulation in Healthcare using Computer Research Advances
- VISAGES - Vision, Action and information manaGement System in health
