List of teams

There are 21 research teams at LIG.
Research areas Teams Description
Software and Information System Engineering 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 and Cyril Labbé
http://sigma.imag.fr
VASCO VAlidation of Software Systems, Components and Objects
Yves Ledru
http://vasco.imag.fr/
Formal Methods, Models, and Languages CAPP Calculi, Algorithms, Programs, and Proofs
Nicolas Peltier
http://capp.imag.fr
CONVECS Construction of Verified Concurrent Systems
Radu Mateescu
http://convecs.inria.fr
SPADES Sound Programming of Adaptable Dependable Embedded Systems
Gregor Goessler
https://team.inria.fr/spades/
TYREX Types and Reasoning for the Web
Pierre Genevès and Nabil Layaida
http://tyrex.inria.fr
Intelligent Systems for Bridging Data, Knowledge and Humans AMA dAta analysis, Modeling and mAchine learning
Massih-reza Amini
http://ama.liglab.fr
GETALP Study Group for Machine Translation and Automated Processing of Languages and Speech
François Portet
http://getalp.imag.fr/
MOEX Evolving knowledge
Jérôme Euzenat
http://moex.inria.fr
MRIM Multimedia Information Modeling and Retrieval
Georges Quénot
http://mrim.imag.fr/
SLIDE ScaLable Information Discovery and Exploitation
Sihem Amer-Yahia
http://slide.liglab.fr
STEAMER Spatio-temporal information, adaptability, multimedia and knowledge representation
Paule-Annick Davoine
http://steamer.imag.fr/
Interactive and Cognitive Systems IIHM Engineering Human-Computer Interaction
Laurence Nigay
http://iihm.imag.fr/en/
Marvin Artificial Intelligence and Robotics
Damien Pellier
http://marvin.imag.fr/
METAH Models and Technologies for Enhanced-Learning Systems
Abdelhamid Chaachoua
https://metah.imag.fr/
Distributed Systems, Parallel Computing, and Networks CORSE Compiler Optimization and Run-time SystEms
Fabrice Rastello
https://team.inria.fr/CORSE
DATAMOVE Data Aware Large Scale Computing
Bruno Raffin
http://team.inria.fr/datamove/
DRAKKAR Networks, IoT, and Security
Andrzej Duda
http://drakkar.imag.fr/
ERODS Efficient and RObust Distributed Systems
Noël de Palma
http://erods.liglab.fr/
POLARIS Performance analysis and Optimization of LARge Infrastructures and Systems
Arnaud Legrand
https://team.inria.fr/polaris/