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: emilio _@_ or et52 _@_

What I'm up to...

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

Friday 20 November 2015:
Verifying Erlang programs with choreography is now a paper
Tuesday 27 October 2015:
Italian research is not so bad after all I'm been on leave and now I'm back...
Friday 2 October 2015:
I'm been on leave and now I'm back...
Wednesday 22 July 2015:
Hey...long time no see, uh? I'm enjoying Cagliari where I taught a course to PhD students. Now working with Massimo Bartoletti.
Tuesday 10 March 2015:
Hey...long time no see, uh? I'm enjoying Argentinian summer...some more progress on ChoSyn, and recently new nice results with Carlos Gustavo Pombo, Hernan Melgratti, and Ignacio Vissani. and John Derrick
Moreover, exiting stuff with Mariangiola Dezani, Luca Padovani, and Paula Severi.


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


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

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