computer science

	STAFF — Emilio Tuosto   Laurea in Scienze dell'Informazione, Ph.D. (Dipartimento di Informatica, PISA) Lecturer in Computer Science
	F8 Computer 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

Research

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).
I have contributed several EU-funded projects (PROFUNDIS, AGILE and DEGAS) as well as some Italian projects (COMETA, SP4 and NAPI).
My main research interests are in theoretical and applied aspects of distributed and mobile systems.

Publications

A few papers (not up-to-date).

Talks

A few talks (not up-to-date).

Grants

• Sensoria (IST project funded by the EU as Integrated Project in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC))
• HiDe4SOC (Nuffield Foundation ref. NAL 32612, PI)
• Tracing Networks (Levehulme Trust, co-PI Jobs available: check-out the project webpage)
• PAIS (Process Algebras for Interaction and Spatiality) British-Italian Partnership Programme for Young Researchers (British Council and CRUI, co-PI)

Other research related stuff

Events	Interests	Program committees	Tools
ICE 2012 DISCOTEC 2012 CONCUR 2012	Formal verification Graph rewriting Nominal calculi Spatial logics Coordination Symbolic verification Algebras and coalgebras Coauthors	Coordination Models, Languages and Applications Symposium On Theory of Modeling and Simulation FACS 2008 WS-FM 2008 YR-SOC 2008 WOA 2008 WOA 2007 COORDINATION 2006 WOA 2006	MIHDA ASPASYA H-ASPASYA JTWS or JTWS

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

• Emilio Tuosto :
• Research
• Publications
• Talks
• Grants
• Other research related stuff
• Hacking my email address
• Warning

• Teaching
• Office hours: 2pm to 4pm, Wed
• CO(7)3090
• CO(7)3099

• Supervision
• CO3015
• CO7201

• Admin
• Welfare Tutor
• Welfare page for students
• Welfare page for staff

• Useful links
• Seminars at Leicester
• Marking CO3015
• Marking CO7201
• Calendars (on google)
• Calendar (departmental)
• Terms and Semesters
• Mobile Calculi

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: 17th April 2012, 08:48:00.
CS Web Maintainer. Any opinions expressed on this page are those of the author.