Foundations of Global Computing

Photograph of Vladimiro Sassone

Vladimiro Sassone

(Sussex)

Global computing refers to computation over a global network of mobile, bounded resources shared among mobile, highly dynamic, untrusted entities. The main concerns are classical ones: protection and management of resources; privacy and confidentiality of data, ..., but have to be established under challenging conditions: extreme dynamic reconfigurability; lack of coordination and trust; limited capabilities; partial knowledge,... In the talk I will illustrate some recent results on the foundations of global computing, ranging from abstract semantic theories and models for concurrency to type theories for access control and programming languages.
Thursday 4th March 2004, 14:00
Robert Recorde Room
Department of Computer Science