Vladimiro Sassone#

Full CV.

Short Biography

My current research activity concerns the foundations of mobile, distributed systems, and aims at underpinning the development of robust, high-level paradigms for global ubiquitous computing. My interests include semantics, type theory, logics, formal methods and, in general, the foundations of computer science, with main focus on languages and models for concurrency. One of my favourite early themes therein has been the study of abstract models for concurrency, their categorical formalisation, properties, and mutual relationships. My present research activity spans over trust, anonymity, security, access control, typing, coordination and behavioural equivalences for (mobile) processes.

I am or have been Principal Investigator of the EPSRC “Third-Party Resource Usage for Pervasive Computing” (2003–2006), Co-Investigator of the EPSRC “Pervasive Computing Support for Market Trading” (2006-2010), Coordinator of the EU-FET GC funded project “MyThS: Models and Types for Security in Distributed Systems” (2002–2005), and Director of the EU Marie Curie Research Training Centre “DisCo: Foundations of Distributed Computation” (2002–2006). I have been Programme Chair of IFIP-TCS 2010 (Track B ), ICALP 2006 (Track B ), FOSSACS 2005, and of several international workshops.

In the past I have held academic positions at Sussex (including a stint as Head of Department), Copenhagen (DK), Catania (I), Aarhus (DK), Queen Mary London, and Pisa (I).