Laurea in Scienze dell'Informazione (MSc), Ph.D. (Dipartimento di Informatica, PISA)
Associate Professor in Computer Science
F8 Computer Science Building|
Department of Informatics,
University of Leicester,
T: +44 (0)116 252 5392
F: +44 (0)116 252 3915
E: emilio _@_ le.ac.uk or et52 _@_ le.ac.uk
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. Receently 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
- 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:
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
A few talks (not up-to-date).
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
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'.