Equipes de recherche

Génie des Logiciels et des Systèmes d'Information

CTRL-A  Control for safe Autonomic computing systems Eric Rutten https://team.inria.fr/ctrl-a SIGMA  Systèmes d'Information - Ingénierie et Modélisation Adaptables Cyril Labbé http://sigma.imag.fr VASCO Validation de Systèmes, Composants et Objets logiciels Yves Ledru http://vasco.imag.fr/

Méthodes Formelles, Modèles et Langages

CAPP Calculs algorithmes programmes et preuves Nicolas Peltier http:// capp.imag.fr CONVECS Construction de Systèmes Concurrents Vérifiés Radu Mateescu http://convecs.inria.fr SPADES Sound Programming of Adaptable Dependable Embedded Systems Gregor Goessler https://team.inria.fr/spades/ TYREX Types et raisonnement pour le Web Pierre Genevès http://tyrex.inria.fr

Systèmes intelligents pour les données, les connaissances et les humains

APTIKAL   Algorithms, Principles and TheorIes for collaborative Knowledge acquisition And Learning Emilie Devijver http://ama.liglab.fr/ GETALP Groupe d'Etude en Traduction Automatique/Traitement Automatisé des Langues et de la Parole François Portet http://lig-getalp.imag.fr/ MOEX  Evolution de la connaissance Jérôme Euzenat http://moex.inria.fr/ MRIM Modélisation et Recherche d'Information Multimédia Philippe Mulhem http://mrim.imag.fr/ DAISY - anciennement SLIDE ScaLable Information Discovery and Exploitation Silviu Maniu http://slide.liglab.fr/ STEAMER Spatial end Temporal Information Systems   http://steamer.imag.fr/ STORIES - Semantic Trajectories / Spatio-Temporal trajectories Jérôme Gensel  http://stories.imag.fr

Systèmes Interactifs et Cognitifs

IIHM Ingénierie de l'Interaction Humain-Machine Laurence Nigay http://iihm.imag.fr/en/ Marvin Artificial Intelligence and Robotics Damien Pellier http://marvin.imag.fr/ MeTAH Modèles et Technologies pour l'Apprentissage Humain Isabelle Girault  https://metah.imag.fr/ M-PSI  Multimodal Perception and sociable Interaction  Dominique Vaufreydaz https://www.m-psi.fr/

Systèmes répartis, Calcul Parallèle et Réseaux

CORSE Compiler Optimization and Run-time SystEms Fabrice Rastello https://team.inria.fr/corse/ DATAMOVE Mouvement de données pour le calcul haute performance Bruno Raffin https://team.inria.fr/datamove/ DRAKKAR Réseaux, IoT et Sécurité Martin Heusse https://drakkar.imag.fr/ KraKOS Optimiser les couches système des centres de données Alain Tchana http://lig-krakos.imag.fr/ POLARIS Performance analysis and Optimization of LARge Infrastructures and Systems Arnaud Legrand https://team.inria.fr/polaris/

Anciennes équipes - Archivées