This is just because I don't like facebook...
I graduated (1998) and got my PhD degree in Computer Science
(2003) at the department of Computer Science, University of Pisa.
In October 2005, I joined the University of Leicester as a
Lecturer of the Department of Computer Science.
Before joining Leicester, I have been a research associate
(2003-2005) at the Dipartimento di Informatica (University of
My main research interests are in theoretical and applied
aspects of distributed and mobile systems. Recently I've
been working on automata- and type-based models of
distributed choreographies, contract- and graph-based models of
distributed interactions, and on nominal automata.
- My papers can be found on DBLP
- A new semantics
of global view of choreographies (with R. Guanciale; the published version is here):
We recently propose two abstract semantics of global view
of choreographies given in terms of partial orders. The
first semantics is formalised as pomsets of communication
events while the second one is based on hypergraphs of
events. These semantics can accommodate different levels
of abstractions, is more general than many of the existing
proposals, and it can be easily twicked to capture
different types of communication (e.g., out-of-order
output). We discuss the adequacy of our models by
considering their relation with communicating machines,
that we use to formalise the local view.
- Unpublished manuscripts:
Automatic Recovery (with C. A. Mezzina):
We propose a choreographic model of reversible
computations based on a conservative extension of global
graphs and communicating finite-state machines. The main
advantage of our approach is that does not require to
instrument models in order to control reversibility but
for a minor decoration of branches. We show that our
models are conservative extensions of existing ones and
that the reversible semantics guarantees causal
- Edited volumes
I'm currently collaborating in the following projects:
BehAPI (EU RISE Action, co-PI + site and WP4 leader) due to start in March 2018; I am WP and UoL site leader
RCADE (EU MSCA Fellowship, co-PI) Claudio Mezzina will join in September 2018 our department as MSCA fellow collaborating with Irek Ulidowski and me on causal consistency reversible debuggers
Reversible Computation (EU Cost Action)
I have contributed several the Leverhulme project Tracing
Networks, several EU-funded projects (PROFUNDIS, AGILE, and
DEGAS) as well as some Italian projects (COMETA, SP4 and
BETTY EU COST Action (RTD Framework Programme).
(IST project funded by the EU as Integrated Project in
the 6th Framework Programme (FP6) as part of the Global
Computing Initiative (GC))
ref. NAL 32612, PI)
(Levehulme Trust, co-PI Jobs available: check-out the project webpage)
(Process Algebras for Interaction and Spatiality)
British-Italian Partnership Programme for Young Researchers
(British Council and
I had the privilege to supervise the following students (in year and alphabetic order)
- Julien Lange (VIVA passed Oct 2013)
- Kyriakos Poyias (VIVA passed Nov 2013)
- Qurat Ul Ain Nizamani (graduated 2011)
- Hyder Ali Nizamani (graduated 2011)
- Daniele Strollo (graduated 2009, co-supervised with Prof. G. Ferrari)
- Yi Xiao (graduated 2019)
- Hao Zeng (graduated 2019)
I'm member of the following research themes of the department
Visiting professor (starting April 2011) at the University of Cagliari
where, besides some research with Massimo Bartoletti, I though
A few talks (not up-to-date).
My email may be hacked in
pi-calculus as on the right.
I'm pretty sure that you can understand my
email address above even though you ignore
(new uid, dom) (
| (uid![et52] + uid![emilio])
|Synchronised Hyperedge Replacement
Here is my SHRish address.
As a simple exercise, you can find what should
be written for '???' in the last transition.
Another exercise is to add a rule to make the
SHR representation of my alias 'emilio' ad done
for the pi-calculus version of my email.
Well it might look complicated from the picture...
but, believe it or not, the HD-automata correspondes
to the pi-calculus representation.
Notice that the red arrow represents a transposition
of 'et52' and 'emilio'.