Who am I

  • I was born in Florence (Italy) on 21st December 1971.
  • I got a diploma at Scientific Lycèe A.M.E. Agnoletti in Sesto Fiorentino (Florence) with 52 / 60 , sigh :-( , in 1990.
  • Then I had the foolish idea of studying Matematics at University :-(. Luckily I quit after less than one year.
  • In 1991 I worked at LOGOS Informatica Servizi S.r.l., an Elaboration Data Center in pharmaceutical field.
  • In 1992 I became a conscentious objector at U.S.L. 10 / C Lungarno Santa Rosa, for one year.
  • In 1993 I decided to have one more try with University, but with Computer Science this time.
  • I took the degree in Computer Science on 20th April 1998 with full honours (110 cum laude) :-)
  • For my Master thesis I developed X-Klaim language (xklaim compiler, and Klava package).
  • I took my PhD in Computer Science at University of Siena and University of Florence :-)
  • I worked as a Contract Researcher within Concurrency and Mobility Group at Dipartimento di Sistemi ed Informatica, University of Florence.
  • Currently I'm an Assistant Professor (Researcher in Computer Science) at Dipartimento di Informatica, University of Turin, research group "Semantics and Logics of Computation".

Last modified: July 30, 2008, at 07:18 PM