- (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).