University of Leicester


photo of 
    Emilio Tuosto

STAFF — Emilio Tuosto   Laurea in Scienze dell'Informazione (MSc), Ph.D. (Dipartimento di Informatica, PISA)

Associate Professor in Computer Science
F8 Informatics Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)116 252 5392
F: +44 (0)116 252 3915
E: emilio _@_ or et52 _@_

What I'm up to...

This is just because I don't like facebook...

February 11 - 21 2017:
Again visiting Claudio Mezzina at IMT in Lucca.
January 29 - February 3 2017:
I've attended the Dagsthul seminar on Behavioural types and just before it I visited Claudio Mezzina at IMT in Lucca.
Thursday 14 April 2016:
At MGS 2016 in B'ham
Monday 4 April 2016:
Playing with H2020...another Apple MagSafe broken (the 4th one): I'm not going to give them more money (just bought an non-original one)
Wednesday 30 March 2016:
Enjoying the 2 papers accepted at DISCOTEC 2016 ;-)
Sunday 13 March 2016:
I know, I know: long time no see :) I had a hectic period... busy with research and teaching. About to start preparing for MGS 2016


Brief CV

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 Pisa).


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
  • 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 implementation.
  • Unpublished manuscripts:
    • Choreographies for 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 consistency.
  • Edited volumes

Projects involvment

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 NAPI).
A few talks (not up-to-date).

Other research-related activities

PhD Courses

PhD students

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)

Grants and collaborations to research projects

Other research related stuff

Events Interests Tools Research and Fun
  • Formal verification
  • Graph rewriting
  • Nominal calculi
  • Distributed Coordination and contracts

Hacking my email address

Nominal calculi
	      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
	      process  algebras.
	      (new uid, dom) (
	      | (uid![et52] + uid![emilio])
	      | dom![]
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.
History-Dependent Automata
	      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'.


Author: Emilio Tuosto (emilio _@_ or et52 _@_, T: +44 (0)116 252 5392.
© University of Leicester 03rd July 2006. Last modified: 2nd December 2017, 07:45:39.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.