Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Théorie des graphes
Equipes
Théorie des graphes
Responsable : Li Hao


Equipes
  Graphes, Algorithmes et Combinatoire

Equipes-projets Inria communes


Resultats majeurs


Contrats


Logiciels et brevets
  Sage

Collaborations


Membres
  MANOUSSAKIS Yannis
  DJELLOUL Selma
  FLANDRIN Evelyne
  LI Hao
  CHEN Meirun
  MONTERO Leandro Pedro
  YANG Weihua
  COHEN Johanne
  ANGLES D'AURIAC Jean-Alexandre
  NASERASR Réza
  BAI Yandong
  HE Weihua
  COHEN Nathann
  SUN Qiang
  LEGAY Sylvain

Thèses et habilitations



Activités de recherche
° 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
° Calcul à haute performance
° 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
° 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
° Interaction Homme-Machine
° Langages et systèmes centrés données
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle