• Algo et modèle pour le distribué
  • Tolérance aux pannes
  • Algos distribués probabilistes
  • Réseaux dynamiques

Le développement des réseaux et l'utilisation de plus en plus massive de terminaux peu fiables avec de faibles connectivités nécessitent des recherches sur la conception d'Algorithmes Distribués fiables, passant à l'échelle et dont le comportement puisse être prouvé formellement.