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 recent propose two abstract semantics of the 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. We discuss the adequacy of our
models by considering their relation with communicating
machines, that we use to formalise the local view. Our
approach increases expressiveness and allows us to
overcome some limitations that affect alternative
semantics of global views. This will be illustrated by
discussing some interesting examples. Finally, we show
that the two semantics are equivalent and have different
merits. More precisely, the semantics based on pomsets
yields a more elegant presentation, but it is less
suitable for implementation. The semantics based on
hypergraphs instead is amenable to a straightforward
- 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) due to start in March 2018; I am WP and UoL site leader
RCADE (EU MSCA Fellowship) 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)
Recently I have been active in the excellent
BETTY EU COST Action (RTD Framework Programme).
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
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).
I am the co-supervisor of Yi Xiao 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)
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'.