Skip to main content
Contenu
|
Navigation
|
Laboratoire d'Informatique de Grenoble
Follow us
fr
en
Home
Actuality
Laboratory overview
Direction and Boards
IT support
Commissions
Organizational chart
Ethics and parity
All the news
Scientific animation
Joining LIG
Directions
Research
Research Areas
Research teams
Research support
Plateforms
R&D Partnerships
Research products
Publications
Thesis defence and HDR
Scientific work
LIG Directory
Research support
Research teams
Coordinators
Intranet
fr
en
Search
Search form
Search
Home
Laboratory overview
Research
Research products
LIG Directory
Intranet
You are here
Home
Research
RESEARCH TEAMS
Research teams
Software and Information System Engineering
CTL-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 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
http://tyrex.inria.fr
Intelligent Systems for Bridging Data, Knowledge and Humans
APTIKAL (Algorithms, Principles and TheorIes for collaborative Knowledge acquisition And 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://lig-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
Marlène Villanova-Oliver
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/
M-PSI Multimodale Perception and sociable Interaction
Dominique Vaufreydaz
https://www.m-psi.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
https://team.inria.fr/datamove/
DRAKKAR Networks, IoT, and Security
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/
Archived Teams
Dans la même rubrique
Research
Research Areas
Research teams
APTIKAL
CAPP
CTRL-A
CONVECS
CORSE
DATAMOVE
DRAKKAR
ERODS
GETALP
IIHM
Marvin
MeTAH
MOEX
M-PSI
MRIM
POLARIS
SIGMA
SLIDE
SPADES
STEAMER
TYREX
VASCO
Archived Teams
Research support
Plateforms
R&D Partnerships
�