Research teams

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

ARMADHA - Rigorous Modelling and Analysis of Distributed and Hardware Architectures Gwen Salaün CAPP Calculi, Algorithms, Programs, and Proofs Nicolas Peltier http:// capp.imag.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 Emilie Devijver http://ama.liglab.fr/ DAISY Data Analytics, Intelligent and Scalable (formerly SLIDE) Silviu Maniu https://lig-daisy.imag.fr/ GETALP Study Group for Machine Translation and Automated Processing of Languages and Speech Didier Schwab http://lig-getalp.imag.fr/ GHOST Games, matHematical Optimization and STochastic systems Nicolas Gast https://ghost-team.gitlabpages.inria.fr/ MOEX  Evolving knowledge Jérôme Euzenat http://moex.inria.fr/ MRIM Multimedia Information Modeling and Retrieval Philippe Mulhem http://mrim.imag.fr/ Sangria Nicolas Vuillerme STORIES - Semantic Trajectories / Spatio-Temporal trajectories Jérôme Gensel  http://stories.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 Isabelle Girault  https://metah.imag.fr/ M-PSI  Multimodal Perception and sociable Interaction  Dominique Vaufreydaz https://www.m-psi.fr/ SocSIM-K Social Simulation and Knowledge Julie Dugdale  https://lig-socsim-k.imag.fr/

Distributed Systems, Parallel Computing, and Networks

ADN - Anthropocene, Degrowth, and ICT  Sophie Quinton https://adn.imag.fr/ 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 Martin Heusse https://drakkar.imag.fr/ KraKOS Optimize data center system layers Alain Tchana http://lig-krakos.imag.fr/

Archived Teams