Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Human-computer interaction
Research activities: Human-computer interaction

  - Graphical interaction techniques
  - Multiscale interaction
  - Engineering of interactive systems
  - Window systems
  - Input devices
  - Mobile interfaces
  - Tangible interfaces
  - Multi-surfaces interaction


Joint Inria project teams

Research highlights
  Metisse is not a 3d desktop!
  User Interface Façades: Towards Fully Adaptable User Interfaces
  Copy-and-Paste Between Overlapping Windows
  DynaSpot: Speed-Dependent Area Cursor
  Musink: Composing Music through Augmented Drawing
  OctoPocus: A Dynamic Guide for Learning Gesture-Based Command Sets
  TorusDesktop: Pointing via the Backdoor is Sometimes Shorter
  Mid-air Pan-and-Zoom on Wall-sized Displays
  UIMarks: Quick Graphical Interaction with Specific Targets
  Six articles and two awards at the CHI'12 conference
  Honorable Mention Award at CHI 2013 - 'A Body-centric Design Space for Multi-surface Interaction'

Contracts & grants

Software & patents


  ROUSSEL Nicolas
  LARD Jérôme
  PIETRIGA Emmanuel
  RICHE Yann
  TABARD Aurélien
  MASSON Nicolas
  FAURE Guillaume
  GHOMI Emilien
  NANCEL Mathieu
  PILLIAS Clément
  HUSSON Julien
  WAGNER Julie

Ph.D. dissertations & Faculty habilitations
  Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien
  portability, reuse and transposition: implications the modifications of human operational contexts for software architectures.

Research activities
° 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
° Distributed algorithms
° Engineering of interactive systems
° 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
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data
° Mediated collaboration
° Multi-hop wireless networks