Marco Maggesi
About me
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.
Contact
Contact
Dipartimento di Matematica e Informatica "Ulisse Dini" (DIMAI)
Università degli Studi di Firenze
Viale Morgagni, 67/a
50134 Firenze
Phone: (+39) 055 275 1473
Email: marco.maggesi@unifi.it