Equipes
  Algorithmique et Complexité

Equipes-projets Inria communes


Resultats majeurs
  Automated motif extraction and classification in RNA tertiary structures
  Distributed tree decomposition with privacy

Contrats


Logiciels et brevets
  Rna3Dmotif
  RUKIA
  SageMath
  SPChecker

Collaborations


Membres
  MENDY Gervais
  BOROZAN Valentin
  BOURGNE Gauvain
  RINAUDO Philippe
  VALICOV Petru

Thèses et habilitations

° 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