Equipes
  Algorithmique et Complexité

Equipes-projets Inria communes


Resultats majeurs
  Query Containment in Description Logics Reconsidered
  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies

Contrats
  ALGOQP
  GT CMF
  QCCC
  QRAC

Logiciels et brevets


Collaborations
  Équipe de Logique Mathématique Université Paris Diderot Paris 7

Membres
  DE ROUGEMONT Michel
  LAPLANTE Sophie
  MAGNIEZ Frédéric
  TIXEUIL Sébastien
  SANTHA Miklos
  KERENIDIS Iordanis
  KAPLAN Marc
  THEVENIN Annelyse
  DEVISMES Stéphane
  CHAILLOUX André
  MAGNIN Loïck
  VISHNOI Nisheeth
  XIAO David
  VALICOV Petru

Thèses et habilitations
  Auto-stabilisation efficace
  Vers l'auto-stabilisation des systèmes à grande échelle
  Aspects Algorithmiques des Réarrangements Génomiques : Duplications et ordres partiels

° 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