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 Ken Edwards Building
School of Computing and Mathematical Sciences,
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)


This page is no longer mantained. My new page is here

What I'm up to...

February 2019:
Terrific visit at McAfee in Cordoba where I met Dan Hirsch (my office mate during our phd in Pisa) as well as many other cool guys

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 recently propose two abstract semantics of 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, is more general than many of the existing proposals, and it can be easily twicked to capture different types of communication (e.g., out-of-order output). We discuss the adequacy of our models by considering their relation with communicating machines, that we use to formalise the local view.
  • 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, co-PI + site and WP4 leader) due to start in March 2018; I am WP and UoL site leader
  • RCADE (EU MSCA Fellowship, co-PI) 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)

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

Past grants and collaborations to research projects

  • BETTY EU COST Action (RTD Framework Programme).
  • Sensoria (IST project funded by the EU as Integrated Project in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC))
  • HiDe4SOC (Nuffield Foundation ref. NAL 32612, PI)
  • Tracing Networks (Levehulme Trust, co-PI Jobs available: check-out the project webpage)
  • PAIS (Process Algebras for Interaction and Spatiality) British-Italian Partnership Programme for Young Researchers (British Council and CRUI, co-PI)

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)
  • Yi Xiao (graduated 2019)
  • Hao Zeng (graduated 2019)

Other research-related activities

Some 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: 11th August 2020, 11:01:58
CMS Web Maintainer. Any opinions expressed on this page are those of the author.