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
