Curriculum Vitae

Personal data

Name and surname: Marco Maggesi
Date and place of birth: May 13, 1971, Florence, Italy
Citizenship. Italian

Current position

Since January 01, 2022.
Associate Professor in Mathematical Logic (Professore associato in Logica Matematica).
Department of Mathematics and Computer Science "Ulisse Dini" (DIMAI)
University of Florence
Address: Viale Morgagni, 67/a, 50134 Firenze, Italy
Phone: (+39) 055 275 1473
Email: marco.maggesi@unifi.it
Web: https://sites.google.com/unifi.it/maggesi/

Habilitations

Habilitation for Associate Professor in Geometry (Abilitazione a Professore di II fascia nel Settore Concorsuale 01/A2 "Geometria e Algebra").  Valid from May 24, 2021 to May 24, 2030.

Habilitation for Associate Professor in Mathematical Logic (Abilitazione a Professore di II fascia nel Settore Concorsuale 01/A1 "Logica Matematica e Matematiche Complementari").  Valid from November 11, 2020 to November 11, 2029.

Past positions

Researcher in Geometry, Department of Mathematics and Computer Science "Ulisse Dini", University of Florence, Italy
March 1, 2005 – Dicember 31, 2021.

Researcher at CNRS (fixed-term contract), Laboratoire J.A. Dieudonné, CNRS, UNSA, Université de Nice–Sophia Antipolis, Nice, France.  December 1, 2003–November 30, 2004

One-year study abroad scholarship at the J.A. Dieudonné Laboratory, CNRS - UNSA,  University of Nice (France) is sponsored by  CNR (Centro Nazionale delle Ricerche Italiano). May 13, 2001 – May 12, 2002.

Research Fellowship (Assegno di Ricerca) at the Department of Mathematics and Computer Science "Ulisse Dini", University of Florence, Italy. March 3, 2000 – November 15, 2003.

Research Fellowship (Assegno di Ricerca) at the Department of Mathematics, University of Milan, Italy. November 1, 2000 –March 15, 2001.

Education

PhD in Mathematics (Algebraic Geometry)
Title of the Thesis: "Some results on holomorphic vector bundles on projective spaces"
Advisor: Vincenzo Ancona
Università degli Studi di Firenze, Florence, Italy. February 28, 2000.

1994: Degree in Mathematics, Università degli Studi di Firenze, grade 110/110 with honour.

Research Periods Abroad

Trimester Program: "Prospects of Formal Mathematics", Hausdorff Research Institute for Mathematics, Bonn, Germany.  August 4–16, 2024.

Scientific Mission at School of Computer Science, The University of Birmingham. Birmingham, United Kindom.  Founded by EUTypes.  February 10 – 24, 2018.

 Invited guest at the Academy of Mathematics and System Science (Chinese Academy of Science), Beijing, China.  September 10– 26, 2016.

Special IHP Trimester on Semantics of proofs and certified mathematics at Institut H. Poincaré (IHP), Paris, France.  May 2 – 16, 2015.

 Invited guest at the New York University, Abu Dhabi, United Arab Emirates.  December 12–17, 2013.

Maître de conference invité at Laboratoire J.A. Dieudonné, CNRS, UNSA, Université de Nice–Sophia Antipolis, Nice, France.  January 1–February 1, 2009.

Scientific Mission at Laboratoire J.A. Dieudonné, CNRS, UNSA, Université de Nice–Sophia Antipolis, Nice, France. Founded by GNSAGA–INdAM.  January 25 – February 20, 2008.

Maître de conference invité at Laboratoire J.A. Dieudonné, CNRS, UNSA, Université de Nice–Sophia Antipolis, Nice, France.  October 1 – December 31, 2005.

Maître de conference invité (Equipe Géométrie Algébrique) at Laboratoire J.A. Dieudonné, CNRS, UNSA, Université de Nice–Sophia Antipolis, Nice, France.  September 1, 2002 – February 29, 2003.

Appointments and Services

Member of the Academic Board of the PhD Program in Mathematics, Computer Science, and Statistics at the University of Florence, ciclo XL, A.A. 2024-2025, June 13, 2024–now.

Member of the Academic Board of the PhD Program in Mathematics, Computer Science, and Statistics of the University of Florence, Perugia, INdAM and CIAFM (ciclo XXVI XL, A.A. 2024-2025).

Vice director of the Department of Mathematics and Computer "Ulisse Dini" (DIMAI) of the University of Florence.  February 28, 2023 – now.

Coordinator of the Teaching Committee of the Department of Mathematics and Computer Science "Ulisse Dini" at the University of Florence. April 18, 2024 – now.

Member of the Scientific Board of the Group for "Mathematics for Artificial Intelligence and Machine Learning" of Unione Matematica Italiana (UMI), September 1, 2020–now.

Member of the Scientific Committee of the Scuola Matematica Interuniversitaria (SMI), April 27, 2024–now.

Member of the Board of Trustees and the Executive Board of the Consorzio Interuniversitario per l'Alta Formazione in Matematica (CIAFM), April 27, 2024–now.

Appointment as Chair of the Selection Committee for the Assignment of 1 Teaching Position in Mathematics and Physics at the Air Force Military School 'G. Douhet' in Florence (Italy), effective from the 2019 - 2020 academic year. June 25, 2019.

Member of the Academic Board of the PhD Program in Mathematics, Computer Science, and Statistics at the University of Florence (cicli XXVI a..a.  2010–2012, XXVII a..a.  2011–2013, XXVIII a..a.  2012–2014).

Affiliations

Member of SMI – Interuniversity School of Mathematics. April 27, 2024–now.

Member of AIxIA – Associazione Italiana per l'Intelligenza Artificiale, Jenuary 1, 2023–now.

Member of AILA – Associazione Italiana di Logica e sue Applicazioni. Jenuary 1, 2020–now.

Member of UMI –Unione Matematica Italiana.  January 1, 2020–now.

Member of the Florence Center for Data Science, Università degli Studi di Firenze.  May 1, 2019.

Affiliated Faculty of the LOG-LAB – Logic and Philosophy of Science Florence group del Dipartimento di Filosofia - Università di Firenze, March 16, 2007 – now.

Member of the GNSAGA – Gruppo Nazionale per le Strutture Algebriche, Geometriche of INdAM – Istituto Nazionale di Alta Matematica "Francesco Severi".  January 1, 1996 – now.

Editorial activities

Editor of Annals of Formalized Mathematics.

Member of the Program Committee of the "The Fifteenth Edition of International Conference on Interactive Theorem Proving" (ITP 2024), September 9-14, 2024 in Tbilisi, Georgia.

Member of the Program Committee of the "The Fourteen Edition of International Conference on Interactive Theorem Proving" (ITP 2023) July 31-August 4, 2023 in Białystok, Poland.

Member of the Program Committee of the "miniKanren 2022 - miniKanren and Relational Programming Workshop".  September 16, 2022.  Ljubljana, Slovenia.  Satellite event of ICFP 2022 - The 27th ACM SIGPLAN International Conference on Functional Programming.

Organization

(Under construction)

Session SS3 "Matematica per l'Intelligenza Artificiale e il Machine Learning"
Congresso dell'Unione Matematica Italiana (UMI)
September 6–8 2023, Pisa, Italy.

School on Univalent Mathematics
Scuola Matematica Interuniversitaria (SMI)
July 17-23, 2022, Cortona, Italy.

School and Workshop on Univalent Mathematics
COST Action CA15123 EUTypes
April 01-05, 2019, University of Birmingham, United Kingdom.

Conference GnCS 2017 –Geometry and Computer Science,
Dipartimento di Economia dell'Università di Chieti-Pescara
February 8–10, 2017, Pescara, Italy.

...

Research projects

(Under construction)

Co-leader of the University of Florence unit for a project by the Italian Ministry of Economic Development (MISE) on Artificial Intelligence applied to spinning issues (SIZE4Mi project), lead partner Linificio e Canapificio Nazionale (approx. 400,000 euros in funding for the research unit). April 3, 2023 – April 2, 2027 (expected).

Co-leader for the Department of Mathematics and Computer Science "Ulisse Dini" of the University of Florence on a project within the "Integrated Facilitation Programs" (PIA - Programmi Integrati di Agevolazione) of the Puglia Region, in collaboration with the enterprise COSMO Service, for a project titled "Innovation for Advanced Control and Management of Energy Grids" ("Innovazione per il Controllo avanzato e la gestione di Grid Energetiche").  Funding: 40,000 euros. February 22, 2020–now.

Principal Investigator of an agreement between K-Teq Srls and the Department of Mathematics and Computer Science at the University of Florence for the funding of a 12-month research fellowship on "Development and Application of LSTM Neural Networks for Predictive Analysis of Time Series in Large-Scale Retail" ("Sviluppo, ed di reti neurali LSTM per l’analisi predittiva di time series della grande distribuzione"). February 1, 2020 – January 31, 2021.

Leader for the Department of Mathematics and Computer Science at the University of Florence of the industrial project of a "Study on New Practical Applications of Machine Learning (ML) Algorithms to Predictive Maintenance (PdM) Problems within the H2020 MADEin4 Project" ("Studio di nuove applicazioni pratiche di algoritmi di Machine Learning (ML) a problemi di manutenzione predittiva (PdM) nell’ambito del progetto H2020 MADEin4") of the Interuniversity Department of Regional and Urban Studies and Planning (DIST).  Funding: 50,000 euros.  January 1, 2020 – December 31, 2020.

Principal Investigator of a project funded by the Ente Cassa di Risparmio di Firenze for a collaboration with the company Devise.IT. Project Title: "Formalization of Queries in Databases" ("Formalizzazione delle interrogazioni nelle basis"). October 1, 2015–September 30, 2016.

Principal Investigator of a grant from the University of Florence for young researchers with a project on "Fibrati vettoriali, varietà proiettive e spazi di moduli: aspetti teorici e computazionali" ("Vector Bundles, Projective Varieties, and Moduli Spaces: Theoretical and Computational Aspects").  February 1, 2000 – Jenuary 31, 2001.

...

Talks

Invited Talks, Public Outreach Talks, Conference and Workshop Contributions are available from a dedicated page on talks and conference contributions.

Publications

Available from a dedicated page.

Mathematical Formalizations and Code

For computer formalizations, mathematical software, and additional code, please visit the dedicated page available.

PhD Students

Current students

Matteo Calosci,
PhD in Mathematics
(Dottorato consortile dell'Università di Firenze, Università di Perugia, INdAM e CIAFM in Matematica, Informatica e Statistica, Ciclo XXXIX)
Current research topic: "Formalization of Universal Algebra in Univalent Foundations"
November 01, 2023 – October 30, 2026 (expected)

Nicola Balestra (Co-supervisore.  Principal supervisor: Gianluca Amato)
PhD in Artificial Intelligence
(Dottorato Nazionale di Ricerca in Intelligenza Artificiale, Area Salute e Scienze della Vita.  Ciclo XXXIX)
November 01, 2023 – October 30, 2026 (expected)

Past students

Clelia Lomuto,
"Formalization of Abstract Simplicial Homology in The Higher Order Logic"
PhD in Mathematics (ciclo XX), University of Florence
Defended on June 20, 2009

Andrea Gabrielli
"Defining, calculating and reasoning in Higher-Order Logic: Complex and Hypercomplex Analysis and applications"
PhD in Mathematics (ciclo XXX), University of Florence
Defended on October 22, 2018

Teaching

(Under construction)

...