INRIA Sophia Antipolis - Méditerranée Research Centre

Research teams

Legend :

• Research-teams recognized as project-teams by INRIA

Theme Bio : Biological systems

• ABS - Algorithms, Biology, Structure
• ASCLEPIOS - Analysis and Simulation of Biomedical Images
• COMORE - Modeling and control of renewable resources
• DEMAR - Artificial movement and gait restoration
• MERE - Water Resource Modeling
• ODYSSEE - Computer and biological vision
• VIRTUAL PLANTS - Modeling plant morphogenesis at different scales, from genes to phenotype

Theme Cog : Cognitive systems

• ARIANA - Inverse problems in earth monitoring
• AXIS - Usage-centered design, analysis and improvement of information systems
• EDELWEISS - Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, Semantics, Servers
• PULSAR - Perception Understanding Learning Systems for Activity Recognition
• REVES - Rendering and virtual environments with sound

Theme Com : Communicating systems

• AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
• LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
• MAESTRO - Models for the performance analysis and the control of networks
• MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
• MIMOSA - Migration and mobility : semantics and applications
• OASIS - Active objects, semantics, Internet and security
• PLANETE - Protocols and applications for the Internet

Theme Num : Numerical systems

• APICS - Analysis and Problems of Inverse type in Control and Signal processing
• AROBAS - Advanced Robotics and Autonomous Systems
• NACHOS - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
• OPALE - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
• SMASH - Simulation, modeling and analysis of heterogeneous systems
• TOSCA - TO Simulate and CAlibrate stochastic models
• TROPICS - Program transformations for scientific computing

Theme Sym : Symbolic systems

• COPRIN - Constraints solving, optimization and robust interval analysis
• EVEREST - Environments for Verification and Security of Software
• GALAAD - Geometry, algebra, algorithms
• GEOMETRICA - Geometric computing
• MARELLE - Mathematical, Reasoning and Software