Equipes
  Théorie des Graphes et Optimisation Combinatoire

Equipes-projets Inria communes


Resultats majeurs


Contrats


Logiciels et brevets


Collaborations


Membres
  BERTHOME Pascal
  DELORME Charles
  FAYARD Didier
  KOUIDER Mekkia
  SACLE Jean-François
  TIXEUIL Sébastien
  SOGUET David
  ZHOU Shan
  LIU Li
  KOSUCH Stefanie
  BEKKAI Siham
  ADAMUS Lech
  YANG Yi
  ZHU Yan
  MAHEO Maryvonne
  FAVARON Odile
  OUATIKI Saliha
  PHAN Hoang Anh
  DORBEC Paul
  ADASME SOTO Pablo Alberto
  RINAUDO Philippe
  MEUNIER David
  VALICOV Petru

Thèses et habilitations
  Auto-stabilisation efficace
  Vers l'auto-stabilisation des systèmes à grande échelle

° 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