Inria
Inria.fr
Inria Channel
Scientific challenges
© Inria / Photo: Kaksonen
Contributing to three major themes
- Networks and communication systems - Design and optimisation of infrastructures for the web and mobile networks...
- Reliable software and security - Development of high-quality software to meet daily needs.
- Modelling of living things and the environment - Modelling and simulation of organs and cell systems...
Partnerships
© Inria / Photo: Kaksonen
Developing research together
The Inria Paris-Rocquencourt research centre is pursuing its development in close partnership with universities, Grandes Ecoles, engineering schools and research organisations in the region.
Science for all
Promoting a taste for sciences
Every year, Inria researchers invest a great deal of effort in actions to promote scientific awareness among teachers, pupils and the public at large.
In 2004, in order to reach all these audiences, the two Île-de-France centres initiated a partnership with the Versailles educational district in order to get secondary school pupils interested in computational sciences. This initiative was then extended to the educational districts of Créteil and Paris.
Our research teams
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
Computational models and simulation
- CAD - Computer Aided Design
- GAMMA3 - Automatic mesh generation and advanced methods
- MICMAC - Methods and engineering of multiscale computing from atom to continuum
Optimization, Learning and Statistical Methods
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- ABSTRACTION - Abstract Interpretation and Static Analysis
- 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
- MOSCOVA - Mobililty, security, concurrence, verification and analysis
- PI.R2 - Design, study and implementation of languages for proofs and programs
- PROSECCO - Programming securely with cryptography
Algorithms, Certification, and Cryptography
- ALGORITHMS - Algorithms
- CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
- CRYPT - Cryptanalyse
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Security, Cryptology and Transmissions
Embedded and Real Time Systems
Networks, Systems and Services, Distributed Computing
Networks and Telecommunications
- GANG - Networks, Graphs and Algorithms
- HIPERCOM - High performance communication
- RAP - Networks, Algorithms and Probabilities
- TREC - Theory of networks and communications
Distributed Systems and Services
Perception, Cognition, Interaction
Vision, Perception and Multimedia Understanding
- IMEDIA2 - Images et multimédia : indexation, navigation et recherche
- WILLOW - Models of visual object recognition and scene understanding
Knowledge and Data Representation and Management
- AXIS - Usage-centered design, analysis and improvement of information systems
- SMIS - Secured and Mobile Information Systems
Robotics
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
- POMDAPI - Environmental Modeling, Optimization and Programming Models
Observation, Modeling, and Control for Life Sciences
- BANG - Nonlinear Analysis for Biology and Geophysical flows
- REO - Numerical simulation of biological flows
- SISYPHE - SIgnals and SYstems in PHysiology & Engineering
