É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
- 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
Des exemples de projets sont consultables sur le site internet PCARRE.
Dans la même rubrique
- Projets : recherche et industrie
- Advanced Information Systems
- Artificial Intelligence and the Web
- Cybersecurity
- Data-Science
- Graphics, Vision and Robotics
- High-confidence Embedded and Cyberphysical Systems
- Parallel, Distributed, Embedded Systems
- Operations Research, Combinatorics and Optimization
- Ubiquitous and Interactive Systems