Inria
Inria.fr
Inria Channel
Scientific challenges
Our challenges
The Inria Rennes - Bretagne Atlantique research centre defined three priority scientific topics in the 2008-2012 Inria strategic plan:
- Multimodal images and data
- Reliable, secure, high-performance software
- Very large-scale distributed systems.
Partnerships
An extensive partner network
As part of its partnership policy, the Inria Rennes - Bretagne Atlantique research centre develops numerous European and international scientific and academic collaborations. It is particularly involved in the establishment of the European research space.
Sciences for all
When ICST and society meet…
The researchers of the Inria Rennes - Bretagne Atlantique centre share their passion for science with the widest possible public.
Find a team
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
