Professor Vladimiro Sassone

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 themes therein has been the study of abstract models for concurrency, their categorical formalisation, properties, and mutual relationships. My present research activity spans over typing, coordination, trust, security, access control, 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-2009), 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).

PhD in Informatics, Pisa (1994);
MSc in Informatics, Pisa (1990).

Associated Editor of The Computer Journal
Editor of Logical Methods in Computer Science
Editor of Theoretical Computer Science
Editor of Electronic Proceedings in Theoretical Computer Science
Chair of ETAPS Steering Committee
Editor-in-chief of the Bulletin of the EATCS

Member of the UKCRC
Member of the London Mathematical Society's Computer Science Committee
Member of the EATCS Council
Member of FOSSACS Steering Committee
Member of UK-UbiNet Management Committee
Member of Steering Committee for UK Grand Challenge Ubiquitous Computing
Member of IFIP Technical Committee 1 (UK representative)
Member of IFIP Working Group 1.3
Observer at IFIP Working Group 2.2

Invited speaker at 21st Int Conf on Concurrency Theory, Aug 2010, Paris (FR)
Invited speaker at Trustworthy Global Computing 2010, Feb 2010, Munich (GER)
Keynote speaker at Int Symp Formal Methods for Components and Objects, FMCO, Nov 2006, Amsterdam (NL)
Invited speaker at Int Symp Principles and Practice of Declarative Programming, PPDP, Jul 2006, Venice (IT)
Invited speaker at Int Conf on Algebras and Coalgebras in Computer Science, CALCO, Sep 2005, Swansea (UK)
Invited lecturer at Int Summer School on Ubiquitous Networks, Sep 2004, Edinburgh (UK)
Keynote speaker at Joint EU/NSF Strategic Workshop Engineering Software Intensive Systems, May 2004, Edinburgh (UK)
Invited speaker at 1st UK-UbiNet Workshop, Sep 2003, London (UK)
Invited lecturer at Int Summer School on Foundations of Security, Jun 2003, Eugene (Oregon USA)
Invited speaker at Fields Institute ’s Workshop on Concurrency and Mobility, Jun 2003, Ottawa (CA)
Invited speaker at Workshop on Object Oriented Developments, WOODS, Apr 2003, Warsaw (PL)
Invited lecturer at 3rd Int School on Foundations of Security Analysis and Design, FOSAD, Sep 2002, Bertinoro (IT)

Programme chair of IFIP WCC 2010 TCS (Track B)
Programme chair of 33rd Int Coll on Automata, Languages and Programming, ICALP (Track B: Logics, Semantics and Theory of Programming), 2006
Programme chair of 8th Int Conf Foundations of Software Science and Computation Structures, FOSSACS (ETAPS), 2005
Programme chair of Foundations of Global Computing, FGC, 2003
Programme chair of Foundations of Wide Area Network Computing, F-WAN, 2002
Programme chair of Concurrency and Coordination, CONCOORD, 2001
Member of Programme Committee of over 40 international conferences and workshops.

Member of EPSRC College.