Research teams

Software and Information System Engineering

• CTRL-A - Control for safe Autonomic computing systems
  Leader Eric Rutten
  Eric.Ruttenuniv-grenoble-alpes.fr (Eric[dot]Rutten[at]univ-grenoble-alpes[dot]fr)
  04 38 78 60 37
• SIGMA - Systèmes d'Information - Ingénierie et Modélisation Adaptables
  Leader Cyril Labbe
  Cyril.Labbeuniv-grenoble-alpes.fr (Cyril[dot]Labbe[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 15
• VASCO - VAlidation of Software Systems, Components and Objects
  Leader Yves Ledru
  yves.ledruuniv-grenoble-alpes.fr (yves[dot]ledru[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 21

Formal Methods, Models, and Languages

• CAPP - Calculi, Algorithms, Programs, and Proofs
  Leader Nicolas Peltier
  nicolas.peltieruniv-grenoble-alpes.fr (nicolas[dot]peltier[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 40
• CONVECS - Construction of Verified Concurrent Systems
  Leader Radu Mateescu
  radu.mateescuinria.fr (radu[dot]mateescu[at]inria[dot]fr)
  04 76 61 54 86
• SPADES - Sound Programming of Adaptable Dependable Embedded Systems
  Leader Gregor Goessler
  Gregor.Goesslerinria.fr (Gregor[dot]Goessler[at]inria[dot]fr)
  04 76 61 54 20
• TYREX - Types and Reasoning for the Web
  Leader Pierre Geneves
  Pierre.Genevesinria.fr (Pierre[dot]Geneves[at]inria[dot]fr)
  04 76 61 55 28

Intelligent Systems for Bridging Data, Knowledge and Humans

• APTIKAL - Algorithms, Principles and TheorIes for collaborative Knowledge acquisition And Learning
  Leader Emilie Devijver
  Emilie.Devijveruniv-grenoble-alpes.fr (Emilie[dot]Devijver[at]univ-grenoble-alpes[dot]fr)
  04 57 52 15 79
• GETALP - Study Group for Machine Translation and Automated Processing of Languages and Speech
  Leader François Portet
  francois.portetuniv-grenoble-alpes.fr (francois[dot]portet[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 44
• MOEX - Evolving knowledge
  Leader Jérôme Euzenat
  Jerome.Euzenatuniv-grenoble-alpes.fr (Jerome[dot]Euzenat[at]univ-grenoble-alpes[dot]fr)
  04 76 61 53 66
• MRIM - Multimedia Information Modeling and Retrieval
  Leader Philippe Mulhem
  philippe.mulhemimag.fr (philippe.mulhem)@univ-grenoble-alpes.fr
  04 57 42 15 34
• DAISY (formerly SLIDE - ScaLable Information Discovery and Exploitation)
  Leader Silvio Maniu
  Silviu.Maniuuniv-grenoble-alpes.fr (Silviu[dot]Maniu[at]univ-grenoble-alpes[dot]fr)
• STORIES - Semantic Trajectories / Spatio-temporal trajectories
  Leader Jérôme Gensel
  Jerome.Genseluniv-grenoble-alpes.fr (Jerome[dot]Gensel[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 02

Interactive and Cognitive Systems

• IIHM - Engineering Human-Computer Interaction
  Leader Laurence Nigay
  Laurence.Nigayuniv-grenoble-alpes.fr (Laurence[dot]Nigay[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 36
• Marvin - Artificial Intelligence and Robotics
  Leader Damien Pellier
  damien.pellieruniv-grenoble-alpes.fr (damien[dot]pellier[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 39
• MeTAH - Models and Technologies for Enhanced-Learning Systems
  Leader Abdelhamid Chaachoua
  abdelhamid.chaachouauniv-grenoble-alpes.fr (abdelhamid[dot]chaachoua[at]univ-grenoble-alpes[dot]fr)
  04 57 42 14 69
• M-PSI Multimodale Perception and sociable Interaction
  Leader Dominique Vaufreydaz
  Dominique.Vaufreydazuniv-grenoble-alpes.fr (Dominique[dot]Vaufreydaz[at]univ-grenoble-alpes[dot]fr)
  04 57 42 16 25

Distributed Systems, Parallel Computing, and Networks

• CORSE - Compiler Optimization and Run-time SystEms
  Leader Fabrice Rastello
  Fabrice.Rastellouniv-grenoble-alpes.fr (Fabrice[dot]Rastello[at]univ-grenoble-alpes[dot]fr)
  04 38 78 16 97
• DATAMOVE - Data Aware Large Scale Computing
  Leader Bruno Raffin
  Bruno.Raffinuniv-grenoble-alpes.fr (Bruno[dot]Raffin[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 49

• DRAKKAR - Networks, IoT, and Security
  Leader Martin Heusse
  martin.heusseimag.fr (martin.heusse)@univ-grenoble-alpes.fr

  04 57 42 15 09
• ERODS - Efficient and RObust Distributed Systems
  Leader Didier Donsez
  didier.donsezuniv-grenoble-alpes.fr (didier[dot]donsez[at]univ-grenoble-alpes[dot]fr)
  04 57 42 14 84
• POLARIS - Performance analysis and Optimization of LARge Infrastructures and Systems
  Leader Arnaud Legrand
  Arnaud.Legranduniv-grenoble-alpes.fr (Arnaud[dot]Legrand[at]univ-grenoble-alpes[dot]fr) 04 57 42 15 22