Research centre :
INRIA Nancy - Grand Est

• Applied Mathematics, Computation and Simulation
  • CALVI - Scientific computation and visualization
  • CORIDA - Robust control of infinite dimensional systems and applications
  • TOSCA - TO Simulate and CAlibrate stochastic models
• Algorithmics, Programming, Software and Architecture
  • CASSIS - Combination of approaches to the security of infinite states systems
  • PAREO - Formal Islands: Foundations and Applications
  • TRIO - Real time and interoperability
  • VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
• Networks, Systems and Services, Distributed Computing
  • ALGORILLE - Algorithms for the Grid
  • MADYNES - Management of dynamic networks and services
  • SCORE - Services and Cooperation
• Perception, Cognition, Interaction
  • ALICE - Geometry and Lighting
  • MAGRIT - Visual Augmentation of Complex Environments
  • MAIA - Autonomous intelligent machine
  • ORPAILLEUR - Knowledge representation, reasonning
  • PAROLE - Analysis, perception and recognition of speech
  • TALARIS - Natural Language Processing: representation, inference and semantics
• Computational Sciences for Biology, Medicine and the Environment
  • CORTEX - Neuromimetic intelligence
  • MASAIE - control theory, modeling and simulations applied to Immunology and Epidemiology