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


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

Groups


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
  IStar
  DISCODOM
  ReActivity
  ICI-TV
  DIGIZOOM
  SESAME DIGIPODS UPS

Software & patents
  SwingStates
  Núcleo
  ZGRViewer
  JFresnel
  IsaViz
  WMTRACE

Collaborations


Members
  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