CURRICULUM VITAE
OF
Tuosto Emilio

(clik here for an extended...but not always updated version)

• I graduated from "R. d'Aquino" High School with 50/60 in 1988/89.
• Laurea (Master)in Computer Science, University of Pisa, 1998. Laurea thesis title:

  ``Semantica e Pragmatica di un Linguaggio di Coordinamento di Attività su Reti''

  (``Semantics and Pragmatics of a Coordination Language of Network Activity")

  Supervisors Prof. Rocco De Nicola and Prof. Gianluigi Ferrari.
  The thesis was devoloped at the Istituto per l'Elaborazione dell'Informazione del CNR in Pisa.
• I've got my PhD title at Dipartimento di Informatica (Universita' di Pisa). My dissertation's title is:
  Non-Functional Aspects of Wide Area Network Programming
  I've worked under the supervision of Prof. Gianluigi Ferrari
• You can find the abstract of my thesis here. The whole thesis is available in GZipped PS or in PDF formats.

• From 10/10/1998 to 19/12/1998 I was envolved in a collaboration with Intecs Sistemi for the developement of a project at (DLR Oberpfaffenhofen, Munich), the German space agency.
• From 20/01/2000 to 20/02/2000 I prepared an experimental web site for 'Diplomi Universitari' (MULTIMEDIA Project - Dipartimento di Informatica dell'Universita' di Pisa).
• 16-17/10/2000, 19-20/10/2000 I taught Introduction to Object Oriented programming and Introduction to Java at DS-NET, a company in Bologna (Italy), on behalf of Synapsis, a company in Livorno (Italy).
• 19/02-2/03/2001, 19-23/03/2001 I taught exercitation of concurrent programming in Java in a IFTS course. Pescia (PT - Italy).
• 01/10/2001, 18/12/2001 I taught exercitation for the Network Programming Course at the Dipartimento di Informatica, Universita' di Pisa
• From 25/06/2001 to 27/06/2001 I taught a course on Unix and Linux for beginners on behalf of Telecom Italia, L'Aquila
• From 18/04/2002 to 24/05/2002 I taught a course on Functional Programming for Architecture course at Dipartimento di Matematica, Universita' di Pisa.
• During the second semester of the 2002--2003 academic year I held several seminars on Functional Programming for Architecture course at Dipartimento di Matematica, Universita' di Pisa.
• From 26/07/2004 to 31/07/2004 I taught the course "Verification for Mobile Systems" for the Escuela de Ciencias Informaticas - Departamento de Computacion, Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires.