|
Curriculum Vitae of Fausto Spoto
[Page last updated on 17/10/2003.]
General information
- Birth: 13 January 1973 in Palermo (Italy).
- Address: Dipartimento di Informatica, Strada Le Grazie, 15, 37134 Ca' Vignal 2, Verona, Italy. Phone: +39 (0)458027089, mobile: +39 (0)3381036093, fax: +39 (0)458027982. E-mail: fausto.spoto@univr.it.
- Nationality: Italian.
- Languages: Italian, French and English.
Studies
- July 1991:
High School: Liceo Scientifico Statale Aldo Moro,
Casteltermini (qualifying exam score 60/60).
- July 1995:
Degree in Scienze dell'Informazione (Computer Science),
Dipartimento di Informatica, University of Pisa, Italy (score 110/110 Cum Laude). Master's
thesis title: Concrete and Abstract Semantics of Prolog.
Supervisor: Prof Giorgio Levi. Referee: Prof Egon Boerger.
- October 1998-March 1999: Visitor at the School of Computer Studies of the University of Leeds, UK. Local supervisor: Dr Patricia Hill.
- February 2000: PhD in Computer Science, University of Pisa, Italy.
PhD's thesis title: Analysis of Logic programs through Linear Refinement. Supervisor: Prof Giorgio Levi. Referees: Prof Michael Codish and Prof Maurice Bruynooghe.
- January 2000: Postdoc fellowship at IRISA, Rennes, France. Local supervisor: Dr Thomas Jensen.
- January 2001-October 2002: Postdoc fellowship at Dipartimento Scientifico e Tecnologico, Verona, Italy.
Local supervisor: Prof Roberto Giacobazzi.
- September-December 2001: Research fellow at the School of Computing of the University of Leeds, UK. Local supervisor: Dr Patricia Hill. EPSRC grant GR/R53401.
- June 2002: visit to the
Nijmeegs Instituut voor Informatica en
Informatiekunde, Katholieke Universiteit Nijmegen, The Netherlands.
- July-August 2002: visit to the
IT University and DIKU of Copenhagen,
Denmark.
- October-November 2002: visit to the School of Computing of Leeds, UK.
- November 2002-Today: researcher at the Dipartimento di Informatica of Verona, Italy.
- March 2003: ECDL Advanced certification
- July-September 2003: visit to IRISA, Rennes, France.
- November 2003: visit to IREMIA, Saint Denis, Réunion island, France.
- October 2004: visit to IREMIA, Saint Denis, Réunion island, France.
Grants obtained
- July 1999: Training and Mobility of Researchers (TMR) grant for
attending to the Practice and Principles of
Declarative Programming '99 Conference to be held
in Paris, France, September 1999.
- September-December 2001: EPSRC grant GR/R53401.
Professional experience
- December 1996-October 1997:
Civil service at Azienda Sanitaria Locale n.5, Pisa.
- October-December 1997: Tutorial session of the course
Programming I with Dr Dino Pedreschi, Computer
Science Department, University of Pisa.
- February-March 1999: Tutorial session of the course
Functional Programming I with Dr
Mark Tarver, School of Computer
Studies, University of Leeds, UK.
- January-June 2001: Tutorial session of the course
Computer Architectures with Prof
Franco Fummi, Dipartimento Scientifico e Tecnologico,
Università di Verona, Italy.
- January-March 2002: teaching Programming Languages,
Dipartimento di Informatica, Verona.
- April-June 2002: teaching Compilers, Dipartimento di Informatica, Verona.
- January-March 2003: teaching Compilers, Dipartimento di Informatica, Verona.
- April-June 2003: teaching Special Programming Languages and Techniques,
Dipartimento di Informatica, Verona.
- February and May 2003: teaching Introduction to Informatics, Dipartimento
di Lingue e Letterature Straniere, Verona.
- August 2003: teaching Introduction to Informatics, Dipartimento
di Lingue e Letterature Straniere, Canazei, Trento.
Refereeing and Scientific Organisation
I have been among the referees of the following international conferences:
SAS'98, PLILP'98, PPDP'99,
ICLP'99, SAS'00, ESOP'01, SAS'01, ICLP'01, VMCAI'02, SAS'03, POPL'03, SAS'04, ESOP'05 and of the following international journals:
Journal of Logic Programming, Theory and Practice of Logic Programming.
|