Degree in Philosophy of Science (Master level).
Dissertation title: "Possible worlds and Probability: investigations on Leibniz's inductive logic" (supervisor, Prof. C. Pizzi) (vote 110/110 cum laude).
 (civil service)
 Fellowship awarded by the Finnish Government, in the framework of international agreements among european countries: I spent nine months at the Helsinki University, where I followed postgraduate courses and seminars from the group of logic and philosophy of science.
Following this experience, my interests turned exclusively toward formal logic.
 I was admitted to the School of Mathematical Logic (university of Siena).
 Fellowship of the University of Siena, to support my dissertation for the School of Logic, that I carried out at the Dept. of Mathematics of the University of Amsterdam, where I studied one semester under the direction of Prof. D. De Jongh. In that time beside the research activity, I followed postgraduate courses in mathematical logic.
 European Fellowship "Erasmus", for a Summer School in Logic at the University of Groningen.
 Diploma at the "Scuola di specializzazione in Logica Matematica", by the Faculty of Science, Dept. Of Mathematics, University of Siena, Italy (post-graduate school, subsequently, after the institution of the PhDs, named "Ph.D. in Logic and Computer Sciences") where I attended a three-years post-graduate School in Mathematical Logic, entailing a 2 years compulsory course program, and one year studentship spent in a specialist department abroad (in my case, the Institute for Logic Language and Computation of the University of Amsterdam) (vote 40/40)
Dissertation title: "Solution of a problem of D.Guaspari" (Supervisor: Prof. F. Montagna).
 I was selected for a Phd program in Logic both at the departements of Philosophy of the University of Florence, and at the University of Genoa. I chose Florence. The program and my dissertation concerned topics in mathematical logic (bounded arithmetic) and philosophy of mathematics (strict finitism). The four-years doctorate took place between 1992 and 1996 and I formally discussed the thesis in Rome (according to the old method) in 1997.
 Ph.d in Philosophy: faculty of Arts, Dept. of Philosophy, University of Florence/Firenze, Italy.
Dissertation:"The complexity of the Finite: logical investigations" (Supervisors: Prof. A. Cantini, Prof. F. Montagna, Prof. E. Casari).
[1998-2003] From the Academic Year 1998-99 to 2002-03, the Department of Philosophy of the University of Siena assigned me a lecturing position supported by a close-term financing scheme ("assegno di ricerca"), which involved both duties of lecturing and research.
[2003-2006] I have been officially hired for further closed term lecturing contracts, both for bachelor and master levels, from 2003 in all subsequent years for two semesters, until my stabilization, in 2006. In these years I have also had several administrative assignments in my previous department.
 Actual position: from 2006, I am "ricercatore" (something like "assistant professor") confirmed and charged of several courses of Logic, both for bachelor levels and master levels, for students in the humanities and for math students.
 From 2012/13 I am member of the Department DIISM (Information Enginering and Mathematics) of the University of Siena. In these years I continued to give courses for all levels, for the humanities area and for mathematics and medical biotechnology.
My research interests focuses on themes of computability theory and proof theory.