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.
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
OrcID, HAL, arXiv, LinkedIn, X, GitHub, Bitbucket, Scopus, Google Scholar, FloRe, DBLP