PhD in Mathematics.
Lecturer at the University of Florence, Italy.
Research interests in Geometry and Computer Theorem Proving.
Free software enthusiast.