Équipes de recherche

• 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

• CTSYS - Conception et Test de Systèmes embarqués

• Synchrone - Languages and tools for the design, simulation and verification of embedded systems
• PACSS - Proofs and Code analysis for Safety and Security