INRIA Paris - Rocquencourt Research Centre

Research teams

Legend :

• Research-teams recognized as project-teams by INRIA

Theme Bio : Biological systems

• ODYSSEE - Computer and biological vision
• REO - Numerical simulation of biological flows
• SISYPHE - SIgnals and SYstems in PHysiology & Engineering

Theme Cog : Cognitive systems

• AXIS - Usage-centered design, analysis and improvement of information systems
• IMEDIA - Image and multimedia indexing, browsing and retrieval
• MIRAGES - Manipulation of images for enhanced reality and generation of special effects
• WILLOW - Models of visual object recognition and scene understanding

Theme Com : Communicating systems

• AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
• ARLES - Software architectures and distributed systems
• GANG - Networks, Graphs and Algorithms
• HIPERCOM - High performance communication
• MOSCOVA - Mobililty, security, concurrence, verification and analysis
• RAP - Networks, Algorithms and Probabilities
• REGAL - Large-Scale Distributed Systems and Applications
• TREC - Theory of networks and communications

Theme Num : Numerical systems

• BANG - Nonlinear Analysis for Biology and Geophysical flows
• CLIME - Coupling environmental data and simulation models for software integration
• ESTIME - Parameter estimation and modeling in heterogeneous media
• GAMMA - Automatic mesh generation and adaptation methods
• IMARA - Informatics, Mathematics and Automation for La Route Automatisée
• MACS - Modeling, analysis and control in computational structural dynamics
• MATHFI - Financial mathematics
• METALAU - Methods, algorithms and software in automatic control
• MICMAC - Methods and engineering of multiscale computing from atom to continuum
• POEMS - Wave propagation: mathematical analysis and simulation

Theme Sym : Symbolic systems

• ABSTRACTION - Abstract Interpretation and Static Analysis
• ALGORITHMS - Algorithms
• ALPAGE - Large-scale deep linguistic processing
• CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
• CONTRAINTES - Constraint programming
• GALLIUM - Programming languages, types, compilation and proofs
• SALSA - Solvers for Algebraic Systems and Applications
• SECRET - Security, Cryptology and Transmissions
• SMIS - Secured and Mobile Information Systems