Equipes
  Algorithmique et Complexité
  Toccata

Equipes-projets Inria communes


Resultats majeurs


Contrats
  SCALP
  ALGOQP
  QRAC

Logiciels et brevets
  RUKIA

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

Membres
  DE ROUGEMONT Michel
  MAGNIEZ Frédéric
  JOHNEN Colette
  TIXEUIL Sébastien
  SANTHA Miklos
  MESSIKA Stéphane
  ROS Raymond
  ROSEN Adi
  CLEMENT Julien
  PEYRONNET Sylvain
  LARGILLIER Thomas
  FERNANDEZ DE LA VEGA Wenceslas
  VISHNOI Nisheeth
  BARDENET Rémi

Thèses et habilitations
  Quelques Contributions à l'auto-stabilisation
  Vérification approchée - Calcul quantique
  Auto-stabilisation efficace
  Vers l'auto-stabilisation des systèmes à grande échelle
  Auto-test pour les calculs approché et quantique

° 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