I am Associate Professor of Mathematical Logic (s.s.d. MAT/01) at the Department of Mathematics and Physics (DMF) of "Roma Tre" University. I have previously been Assistant Professor (Researcher) of Computer Science (s.s.d. INF/01) at the DMF (2004-2017), at the Computer Science Department of University of Roma "La Sapienza" (2001-2004) and at the Institut de Mathematiques de Marseille (2000-2001). My main research interests are Mathematical Logic and Theoretical Computer Science.