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 _@_ (...and see the bottom of this page for some simple puzzles)

What I'm up to...

February 27 - March 4 2018:
Heading to Malta to visit Adrian Francalanza and kick off BehAPI.
February 20 - 23 2018:
Working at IMt with Claudio Mezzina and Adrian Francalanza on reversibility and monitoring in Erlang.
Juanuary - February 2018:
Working with Roberto Guanciale on realizability of pomsets with CFSMs.
February 11 - 21 2017:
Again visiting Claudio Mezzina at IMT in Lucca.

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


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


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

Other research-related activities

PhD Courses

PhD students

I am the co-supervisor of Yi Xiao and Hao Zeng.
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 _@_ (...and see the bottom of this page for some simple puzzles)), T: +44 (0)116 252 5392.
© University of Leicester 03rd July 2006. Last modified: 24th February 2018, 19:18:26.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.