Vladimiro Sassone is professor of Computer Science in the School of Electronics and Computer Science at the University of Southampton.
His research activity concerns the foundations of mobile, distributed systems, and aims at underpinning the development of robust, high-level paradigms for global ubiquitous computing. His interests span over semantics, type theory, logics, formal methods and, in general, the foundations of computer science, with main focus on languages and models for concurrency.
His main contributions include abstract categorical models of causation in distributed computation; security via typing in systems for access control; semantic theories, models, and behavioural equivalence techniques for reactive systems; models and calculi for trust management systems; distributed, structural and resource logics.
He participated in several UK projects, as Third-Party Resource Usage for Pervasive Computing and Pervasive Computing Support for Market Trading, was the international coordinator of the EU-FET project MyThS: Models and Types for Security in Distributed Systems and the director of the EU Marie Curie Research Training Centre DisCo: Foundations of Distributed Computation.
He is member of the Council of the European Association for Theoretical Computer Science (EATCS), editor-in-chief of the Bulletin of the EATCS, member of the steering committee for the UK Grand Challenge for Computing Research on Ubiquitous Computing and of ETAPS, the European joint Conferences on Theory and Practice of Software.