• Algo and model for distributed
  • troubles tolerance
  • Probabilistic distributed algorithms
  • Dynamic networks

The development of networks and the increasing use of unreliable terminals with poor connectivity require research into the design of reliable Distributed Algorithms, which can be scaled and whose behaviour can be formally proven.