Equipes
  Graphes, Algorithmes et Combinatoire

Equipes-projets Inria communes


Resultats majeurs


Contrats
  IUF 2018
  PEPS MIRFID

Logiciels et brevets
  Synchro CORAC

Collaborations


Membres
  DELAËT Sylvie
  CHEN Lin
  COHEN Johanne
  MARTIGNON Fabio
  MANGILI Michele
  ARALDO Andrea Giuseppe
  YU Jihong
  TOMASIK Joanna
  BAMPAS Evangelos

Thèses et habilitations

° Algorithmes pour les grands volumes de données distribuées
° 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
° Intégration de données et de connaissances