Axes et équipes de recherche

La recherche au LIG est structurée en 5 axes de recherche :

Télécharger ce schéma au format .pdf.
Systèmes Intelligents : Données,Systèmes Intelligents : Données,Connaissances et HumainsConnaissances et Humains Systèmes InteractifsSystèmes Interactifset Cognitifset Cognitifs Systèmes Répartis,Systèmes Répartis,Calcul Parallèle et RéseauxCalcul Parallèle et Réseaux Méthodes Formelles,Méthodes Formelles,Modèles et LangagesModèles et Langages Génie des Logiciels et desGénie des Logiciels et desSystèmes d'InformationSystèmes d'Information
Voici les 21 équipes de recherche composant le LIG regroupées selon les axes :
Axes de Recherche Équipes Description
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
Agnes Front et 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 : Données, Connaissances et Humains AMA Analyse de données, Modélisation et Apprentissage automatique
Massih-reza Amini
http://ama.liglab.fr
GETALP Groupe d’Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parole
François Portet
http://getalp.imag.fr/
MOEX Évolution 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 IIHM Ingénierie de l’Interaction Homme-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
Abdelhamid Chaachoua
https://metah.imag.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
http://team.inria.fr/datamove/
DRAKKAR Réseaux, IoT et Sécurité
Andrzej Duda
http://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/