University of Leicester

computerscience

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,
Leicester,
LE1 7RH.

T: +44 (0)116 252 5392
F: +44 (0)116 252 3915
E: et52 _@_ mcs.le.ac.uk or emilio _@_ mcs.le.ac.uk

What I'm up to...

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



Tuesday 30 September 2014:
enjoying popl 2015's notification :)
Tuesday 30 September 2014:
Working an DbC for session types...
Sunday 28 September 2014:
Working an a couple of papers right now...
Friday 26 September 2014:
I met some cool people from industry at the meeting of the industrial advisory board of the department
Wednesday 24 September 2014:
still on MSc viva interviews
Tuesday 23 September 2014:
a lot of MSc viva interviews

Research

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

Interests

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.

Publications

Projects

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)

Grants

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(x).dom(y).mail![x@y]
		   | (uid![et52] + uid![emilio])
		   | dom![mcs.le.ac.uk]
		  )
		
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'.
	      

Warning

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

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