Our research activities
Our publications
Our staff
Our projects
Key figures
The organisation chart
Industrial collaboration
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.