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

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  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 Isabelle Girault  https://metah.imag.fr/ M-PSI  Multimodal 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