Habilitation
- Full Professor (Professore Ordinario) SSD MAT01 (Logica Matematica) since 2020
- Associate Professor SSD MAT01 (Logica Matematica) since 2014
- Associate Professor at the University of Rome I "La Sapienza",
Department of Mathematics "Guido Castelnuovo" (from August 2022).
- 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.
