University of Leicester


photo of 
    Emilio Tuosto

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

Lecturer in Computer Science
F8 Computer Science 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...

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.



I'm currently involved in the following projects:

  • MEALS (EU FP7 Marie Curie Action)
  • 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).
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)


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: 8th February 2017, 10:11:51.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.