ECS, Faculty of Physical Sciences and Engineering
University of Southampton
Southampton, United Kingdom. SO17 1BJ
Position: Academic staff in Agents, Interaction and Complexity
Telephone: Work (Voice): +44 (0)23 8059 9009
Fax: Work (Fax): +44 (0)2380 593045
URI: http://id.ecs.soton.ac.uk/person/9724 [browse]
This list of people is sourced from
RKBExplorer, the result of an ECS project.
Click on the "explain" link to the right of each person to
find out how they are connected.
Note: the explain link requires heavy processing and may take some time to load.
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).
A friend has kindly computed for me these data out of Publish or Perish, accurate as of August 2013:
Here is my Full CV
My PGP public key can be obtained by running gpg --recv-keys EF4EE9E9
PhD in Informatics, Pisa (1994);
MSc in Informatics, Pisa (1990).
Other Professional Activities
Managing editor of ARCoSS, Advanced Research in Computing and Software Science
Editor of Logical Methods in Computer Science
Editor of Theoretical Computer Science
Associated Editor of The Computer Journal
Editor of Electronic Proceedings in Theoretical Computer Science
Formerly Editor-in-chief of the Bulletin of the EATCS
Chair of ETAPS Steering Committee
Member of Academia Europaea
Member of the UKCRC
Member of the London Mathematical Society's Computer Science Committee
Member of the EATCS Council
Member of Presburger Award Committee
Member of IFIP Technical Committee 1 (UK representative)
Member of IFIP Working Group 1.3
Member of EPSRC College.
Formerly member of Steering Committee for UK Grand Challenge Ubiquitous Computing
Formerly observer at IFIP Working Group 2.2
Formerly member of FOSSACS Steering Committee
Formerly member of UK-UbiNet Management Committee
Invited lecturer at Bertinoro International Spring School 2011, March 2011, Bertinoro (IT)
Invited speaker at 21st Int Conf on Concurrency Theory, Aug 2010, Paris (FR)
Invited lecturer at IMT, Institute for Advanced Studies, PhD School, June 2010, Lucca (IT)
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 6th Symposium on Trustworthy Global Computing, TGC , 2011
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.