Français Anglais
Accueil Annuaire Plan du site
Equipes
Réseaux


Mots-clés:
  - Qualité de service dans les réseaux
  - Réseaux de capteurs
  - Réseaux ad hoc
  - Réseaux sans fil
  - Réseaux mobiles

Equipes
  Réseaux

Equipes-projets Inria communes


Resultats majeurs


Contrats
  FRANCE TELECOM

Logiciels et brevets
  Qolyester

Collaborations


Membres
  AL AGHA Khaldoun
  GAWEDZKI Ignacy
  ROSEN Adi
  TRIANTAFYLLIDOU Despoina
  CLEMENT Julien
  NICOLAU Miguel
  RAHME Joseph
  CHAVEZ SANTIAGO Raul
  ODOU Simon
  KADI Nour
  AWAL Mohammad Abdul
  BENFATTOUM Youghourta

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
° 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
° 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