Equipes
  Systèmes Parallèles

Equipes-projets Inria communes


Resultats majeurs
  Best Paper Award: Self-stabilizing Distributed Stable Marriage

Contrats


Logiciels et brevets


Collaborations


Membres
  BEAUQUIER Joffroy
  DELAËT Sylvie
  ROSAZ Laurent
  ROZOY Brigitte
  FURTLEHNER Cyril
  ABBASSI Abdelkrim
  COHEN Johanne
  BLANCHARD Peva
  BURMAN Janna
  CLAVIERE Simon
  SHRIT Omar
  NOWAK Thomas
  BAMPAS Evangelos
  EL MOUSSAWI Adnan
  BEN KHALED Ghada

Thèses et habilitations

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° 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
° Intégration de données et de connaissances