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
F8Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
LE1 7RH.

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


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 grap-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
  • 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'.


| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Emilio Tuosto (et52 _@_ or emilio _@_, T: +44 (0)116 252 5392.
University of Leicester 03rd July 2006. Last modified: 17th July 2014, 13:16:14.
CS Web Maintainer. Any opinions expressed on this page are those of the author.