Equipes


Equipes-projets Inria communes


Resultats majeurs
  Metisse is not a 3d desktop!
  Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence
  User Interface Façades: Towards Fully Adaptable User Interfaces

Contrats
  IStar

Logiciels et brevets


Collaborations


Membres
  ROUSSEL Nicolas
  LARD Jérôme
  PIETRIGA Emmanuel
  PILLIAS Clément
  HUSSON Julien

Thèses et habilitations
  Portabilité, réemploi et transposition des modèles d'interaction homme-machine: implications de la gestion des contextes humains sur les architectures logicielles

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs