Habilitation
  • Associate Professor SSD MAT01 (Logica Matematica) since 2014
Current Position
  • Assistant Professor (Ricercatore a tempo indeterminato) at the University of Rome I "La Sapienza",
    Department of Computer Science (from December 2008).
Previous Positions
  • 2007-2008: Post-doc position at the University of Rome "La Sapienza", Dept. of Computer Science.
  • 2007-2009: Research Fellow 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.