Marco Maggesi

About me

I am a mathematician and practitioner of formal mathematics at the University of Florence.

My interests lie in Logic, Geometry, and Computer Science, particularly in their formal representation on computers.