I am a mathematician at the University of Florence, Italy.
My work lies at the intersection of logic, geometry, and computer science, with particular interest in the formalization of mathematics and computer-assisted reasoning.
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