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

 
glsi.jpg

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

mfml.jpg

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 ofAdaptable 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

tdcge.jpg

APTIKAL   Algorithms, Principles and TheorIes for collaborative Knowledge acquisition And Learning
Massih-Reza Amini 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
Georges Quénot http://mrim.imag.fr/

SLIDE ScaLable Information Discovery and Exploitation
Sihem Amer-Yahia http://slide.liglab.fr/

STEAMER Spatio-temporal information systems
Marlène Villanova-Oliver http://steamer.imag.fr/

Systèmes Interactifs et Cognitifs

sic.jpg

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

srcpr.jpg

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é
Andrzej Duda https://drakkar.imag.fr/

ERODS Efficient and RObust Distributed Systems
Didier Donsez http://erods.liglab.fr/

POLARIS Performance analysis and Optimization of LARge Infrastructures and Systems
Arnaud legrand https://team.inria.fr/polaris/

 

Anciennes équipes - Archivées