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 Massih-Reza Amini
  massih-reza.aminiuniv-grenoble-alpes.fr (massih-reza[dot]amini[at]univ-grenoble-alpes[dot]fr)
  04 57 42 14 45
• 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 Georges Quénot
  georges.quenotuniv-grenoble-alpes.fr (georges[dot]quenot[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 48
• SLIDE - ScaLable Information Discovery and Exploitation
  Leader Sihem Amer-Yahia
  Sihem.Amer-Yahiauniv-grenoble-alpes.fr (Sihem[dot]Amer-Yahia[at]univ-grenoble-alpes[dot]fr)
  04 57 42 14 44
• STEAMER - Spatio-temporal information systems
  Leader Marlène Villanova-Oliver
  Marlene.Villanova-Oliveruniv-grenoble-alpes.fr (Marlene[dot]Villanova-Oliver[at]univ-grenoble-alpes[dot]fr)
  04 57 42 15 68

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 Andrzej Duda
  Andrzej.Dudauniv-grenoble-alpes.fr (Andrzej[dot]Duda[at]univ-grenoble-alpes[dot]fr)
  04 57 42 14 87
• 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