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
Nancy Center's research teams
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
Computational models and simulation
Modeling, Optimization, and Control of Dynamic Systems
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- CARTE - Theoretical adverse computations, and safety
- CASSIS - Combination of approaches to the security of infinite states systems
- PAREO - Formal islands: foundations and applications
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithms, Certification, and Cryptography
- CARAMEL - Cryptology, Arithmetic: Hardware and Software
- VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
Embedded and Real Time Systems
Architecture and Compiling
Networks, Systems and Services, Distributed Computing
Networks and Telecommunications
Distributed Systems and Services
Distributed and High Performance Computing
Perception, Cognition, Interaction
Vision, Perception and Multimedia Understanding
Interaction and Visualization
Knowledge and Data Representation and Management
Audio, Speech, and Language Processing
Computational Sciences for Biology, Medicine and the Environment
Observation, Modeling, and Control for Life Sciences
- BIGS - Biology, genetics and statistics
- MASAIE - Tools and models of nonlinear control theory for epidemiology and immunology
Inria
Inria.fr
Inria Channel
