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.
Fields of research
ICST for life and environmental sciences
Fields of research
Applied Mathematics and Computing
Fields of research
Perception, Cognition & Interaction
Fields of research
Networks, systems and services, distributed computing
Saclay Center's research teams
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
Computational models and simulation
- DEFI - Shape reconstruction and identification
- POEMS - Wave propagation: mathematical analysis and simulation
Optimization, Learning and Statistical Methods
Modeling, Optimization, and Control of Dynamic Systems
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- COMETE - Concurrency, Mobility and Transactions
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PARSIFAL - Proof search and reasoning with logic specifications
- SECSI - Security of information systems
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, Logic and computing
Inria
Inria.fr
Inria Channel
