CV

Habilitation

• Full Professor (Professore Ordinario) SSD MAT01 (Logica Matematica) since 2020

• Associate Professor SSD MAT01 (Logica Matematica) since 2014

Employment

Current Position

• Associate Professor at the University of Rome I "La Sapienza",
  Department of Mathematics "Guido Castelnuovo" (from August 2022).

Previous Positions

• 2019-2022: Associate Professor of Computer Science at the University of Rome "La Sapienza", Dept. of Computer Science.

• 2008-2019: Assistant Professor of Computer Science at the University of Rome "La Sapienza", Dept. of Computer Science.

• 2007-2008: Post-doc position CS at the University of Rome "La Sapienza", Dept. of Computer Science.

• 2007-2009: Research Fellow in Logic at the Scuola Normale Superiore di Pisa, Dept. of Philosophy.

• 2003-2006: RA/TA, Department of Computer and Information Sciences, University of Delaware, USA.

• 2002-2006: Ph.D. Student in Mathematical Logic and Theoretical Computer Science (Lo.M.I.T.), Department of Mathematics, University of Siena.

• 2001-2002: Ph.D. Student in Philosophy at the Scuola Normale Superiore, Pisa (resigned position).

• 1994-1999: Undergraduate Student in Philosophy, University of Pisa.

Education

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

  • Thesis Title: Le teorie dei Fondamenti della Matematica di Ennio De Giorgi.

• (1999) Degree in Philosophy (spec. Logic).

  • Dept. of Philosophy, University of Pisa.

  • Thesis 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).