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
© Inria / Photo Kaksonen
Fields of research
Applied Mathematics and Computing
Fields of research
Perception, Cognition & Interaction
Fields of research
Networks, systems and services, distributed computing
Rennes Center's research teams
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
- ASPI - Applications of interacting particle systems to statistics
- I4S - Statistical Inference for Structural Health Monitoring
Computational models and simulation
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- CELTIQUE - Software certification with semantic analysis
- TASC - Theory, Algorithms and Systems for Constraints
Embedded and Real Time Systems
- ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
- S4 - System synthesis and supervision, scenarios
- 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
- DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
- DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
Distributed Systems and Services
- ACES - Ambient computing and embedded 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
- MYRIADS - Design and Implementation of Autonomous Distributed Systems
- TRISKELL - Reliable and efficient component based software engineering
Distributed and High Performance Computing
Perception, Cognition, Interaction
Vision, Perception and Multimedia Understanding
- SIROCCO - Analysis representation, compression and communication of visual data
- TEXMEX - Multimedia content-based indexing
Interaction and Visualization
- MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
- VR4I - Virtual Reality for Improved Innovative Immersive Interaction
Knowledge and Data Representation and Management
Robotics
Audio, Speech, and Language Processing
Computational Sciences for Biology, Medicine and the Environment
Observation and Modeling for Environmental Sciences
- FLUMINANCE - Fluid Flow Analysis, Description and Control from Image Sequences
- SAGE - Simulations and Algorithms on Grids for Environment
Computational Biology and Bioinformatics
- DYLISS - Dynamics, Logics and Inference for biological Systems and Sequences
- GENSCALE - Scalable, Optimized and Parallel Algorithms for Genomics
- SERPICO - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
