Équipes de recherche

LIG
  • ADELE - Environnements et outils pour le Génie Logiciel Industriel
  • HADAS - Heterogeneous and Adaptive Distributed dAta management Systems
  • MRIM - Modélisation et Recherche d’Information Multimédia
  • STEAMER - Spatio-TEmporal information Systems
  • SIGMA - Systèmes d’Information - inGénierie et Modélisation Adaptables
  • VASCO - VAlidation of Software Systems, Components and Objects
LCIS
  • CTSYS - Conception et Test de Systèmes embarqués
VERIMAG
  • Synchrone - Languages and tools for the design, simulation and verification of embedded systems
  • PACSS - Proofs and Code analysis for Safety and Security
Des exemples de projets sont consultables sur le site internet PCARRE.