Degrees
- (2006) PhD degree in Mathematics.
- Dept. of Mathematics, University of Siena.
- Thesis title: Some Results on Unprovable Theorems.
- Supervisor: Prof. Franco Montagna.
- External Referees: Prof. Lev Beklemishev and Prof. Herman Ruge Jervell.
- Final degree: Excellence.
- (2006) PhD degree in Computer Science.
- Dept. of Computer and Information Sciences, University of Delaware.
- Thesis title: Some cognitively-motivated results in algorithmic learning theory.
- Supervisor: Prof. John Case.
- (2000) Diplome in Philosophical Disciplines
- Scuola Normale Superiore, Pisa.
- (1999) Degree in Philosophy (spec. Logic).
- Title: Independence proofs of Kirby-Paris' Hydra Theorem from Peano Arithmetic.
- Supervisors: Prof. Marco Forti (Dept. of Mathematics) and Prof. Enrico Moriconi (Dept. of Philosphy).
- Final degree:110/110 cum laude (Excellence).
