I am an Associate Professor of Mathematical Logic at the Department of Mathematics "Guido Castelnuovo" at Sapienza University in Rome. I previously taught at the Computer Science Department at Sapienza. I am interested in all aspects of Mathematical Logic, in particular in Proof Theory and Computability Theory. For more information about my education and positions see here.