Inria
Inria.fr
Inria Channel
Paris - Rocquencourt Center's 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
