Laurea in Scienze dell'Informazione (MSc), Ph.D. (Dipartimento di Informatica, PISA)
Lecturer in Computer Science
F8 Computer Science Building|
Department of Computer Science,
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
21/10/2014: Intro to choreography @ Royal Holloway (slides)
26/09/2014: IAB meeting (10 min. talk) @ Leicester (slides)
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 grap-based models of
distributed interactions, and on nominal automata.
I'm currently involved 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
MEALS (EU FP7 Marie Curie Action)
BETTY (EU COST Action - RTD Framework Programme)
A few talks (not up-to-date).
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'.