 Higher order school leaving certificate 60/60 
Liceo Scientifico in Verona (Italy)
 Laurea 110/110 with honours in Mathematics  University of Padova,
1993
 PhD in MathematicsUniversity of Padova, 19931998
 Visiting grant holder (6 months)  Mathematical Research Institute 
University of Utrecht, 1995
 Visiting grant holder (6 months)  Dep.
of Pure Mathematics and Mathematical Statistics, University of Cambridge, 1998
 Research fellow in the
Xslam Project School of Computer Science, University of Birmingham, 19992000
 Postdoctoral researcher 
Dipartimento di Matematica Pura ed Applicata 
Università di Padova, 20002001
 Postdoctoral researcher on a grant by
"Istituto di Alta Matematica",
20012002
 Postdoctoral researcher on the project "Theories with dependent types:
study of their metamathematical properties with
applications to constructive mathematics" led by
Silvio Valentini and funded
by the University of Padova, 20022006
 Grantholder funded by "Constructive methods in Topology, Algebra and Foundations of Computer Science"
at the site of Genova (by G. Rosolini) and of Turin (by S. Berardi), then
funded by "Logic and foundations of mathematics" (by S. Valentini) in Padova, then
by "Categories and Algebraic Topology" (by M. Grandis) in Genova and then
by DAMA (by C. Sacerdoti Coen).
 Academic researcher in Mathematical Logic at the University of Padova, October 2007 August 2015
 Associate Professor in Mathematical Logic at the University of Padova, September 2015 July 2023
 Full Professor in Mathematical Logic at the University of Padova since August 2023
