- 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 Mathematics-University of Padova, 1993-1998
- 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, 1999-2000
- Postdoctoral researcher -
Dipartimento di Matematica Pura ed Applicata -
Università di Padova, 2000-2001
- Postdoctoral researcher on a grant by
"Istituto di Alta Matematica",
2001-2002
- 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, 2002-2006
- Grant-holder 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
|
