Studies
I am a Ph.D. student in Mathematical Logic and Theoretical Computer Science
at the
Department of
Mathematics of the University of Siena, Italy.
Further
information can be found on
my academic page.
Curriculum studiorum
- October 2004 - June 2005
- Marie Curie fellow.
- Department of Informatics,
University of Sussex, United Kingdom.
- November 2002 - June 2005
- Ph.D. in Mathematical Logic and Theoretical Computer Science.
University of Siena, Italy.
- 11 November 2003
- Masters in Mathematical Logic and Theoretical Computer Science.
University of Siena, Italy.
- 3 December 2002
- Diploma in Mathematics (4 years).
Scuola Normale Superiore, Pisa, Italy (Italian school
of excellence, equivalent to the French
École Normale Supérieure).
70/70 summa cum laude.
- 12 July 2002
- University degree in Mathematics (4 years).
- University of Pisa, Italy.
Thesis: Descriptive Complexity and Immerman's
Theorem.
Advisor: Prof. A. Berarducci.
110/110 summa cum laude.
- July 1996
- Secondary School degree.
Liceo scientifico Luigi Cremona, Milano, Italy.
60/60.