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

Recent talks

  • 21/10/2014: Intro to choreography @ Royal Holloway (slides)
  • 26/09/2014: IAB meeting (10 min. talk) @ Leicester (slides)

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

Friday 09 January 2015:
Hey...long time no see, eh? I hope you weren't worried. Still alive, still having fun with ChoSyn, and recently with some nice stuff with Neil Walkinshaw, Ramsay Taylor, and John Derrick
Now preparing to leave for Mumbai.
Tuesday 02 December:
Having fun with ChoSyn
Thursday 27 November:
I spent some time on CO7205 (my module on distributed choreographies) and on reviews ... but not much time for NEW exciting research :(
Sunday 24 November:
Back home after visiting to Massimo Bartoletti in the nice Cagliari. Past week spent on journal papers.
Well quite a while I don't updated you...I've just revised some proofs on DbC for global\local types and I had very interesting discussions with Neil Walkinshaw
Monday 27 October:
Happy to hear about "Badge of honor" from PoPL 2015 AEC: A very well done and big thank to Julien Lange
Friday 22 October:
Visiting Nobuko and Julien at the Imperial College
Thursday 21 October:
Enjoying my visit at the computer science department of Royal Holloway University


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 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: 9th January 2015, 11:31:19.
CS Web Maintainer. Any opinions expressed on this page are those of the author.