Habilitation
  • Full Professor (Professore Ordinario) SSD MAT01 (Logica Matematica) since 2020
  • Associate Professor SSD MAT01 (Logica Matematica) since 2014
Current Position 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.