Groups
  Human-Centered Computing

Joint Inria project teams
  ILDA
  Ex Situ
  AVIZ

Research highlights
  Effects of Display Size and Navigation Type on a Classification Task

Contracts & grants


Software & patents
  Touchstone
  Substance
  Scotty
  Smarties
  DIGISCAPE
  WildOS
  CommandBoard
  UnityCluster

Collaborations


Members
  FEKETE Jean-Daniel
  CHAPUIS Olivier
  HUOT Stéphane
  TSANDILAS Theophanis
  APPERT Caroline
  GARCIA Jérémie
  BONNET David
  BEZERIANOS Anastasia
  JALAL Ghita
  PAPALEO Laura
  AVELLINO MARTINEZ Ignacio Martin
  MORALES GONZALEZ Rafael
  GREFENSTETTE Gregory
  DESTANDAU Marie
  XUE Tong
  SANCHEZ Téo
  GOBERT Camille
  FLUZIN Dylan

Ph.D. dissertations & Faculty habilitations
  'Designeering Interaction': A Missing Link in the Evolution of Human-Computer Interaction

° Algorithm control and hyper-parameter tuning
° Algorithms for networked systems
° Automated Proof, SMT and Applications
° Automated Reasoning
° Combinatorics
° Compilation and code optimization
° Data-Centric Languages and Systems
° Deductive Verification of Programs
° Digital Fabrication
° Distributed algorithms
° Distributed Design
° Engineering of interactive systems
° Fab lab
° Formal Model-Based Testing
° Formalisation and Proof of Numerical Programs
° Formalisation of (Specification and Programming) Languages in Proof Assistants
° Generative design methods
° Graph Theory
° Green networks
° Heterogeneous Wireless Networks
° High-performance computing
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data