Marco MAGGESI

Ruolo attuale:: Professore Associato
SSD:: MATH-01/A - Logica matematica
Afferenza organizzativa:: Dipartimento di Matematica e Informatica 'Ulisse Dini'

Recapiti

	0552751473
	marco.maggesi(AT)unifi.it

Ulteriori Recapiti

	Viale Morgagni 65, Stanza 066
	https://sites.google.com/unifi.it/maggesi/

Avvisi

Novità per Geometria Computazionale Simbolica

Da quest'anno il corso si concentrerà sulla programmazione con il theorem prover Lean. È disponibile una nuova presentazione del corso: https://bit.ly/4yGgOzI Il corso inizia lunedì 21 settembre.

Marco MAGGESI

Orario di ricevimento (aggiornato al 13/09/2022)

Per appuntamento via email (marco.maggesi@unifi.it) oppure il martedì dalle 14:30 alle 16:30 (è gradito comunque un messaggio email di preavviso). Nel messaggio precisare se si preferisce un ricevimento online o in presenza.

Marco MAGGESI

Biografia

Vedere il sito personale https://sites.google.com/unifi.it/maggesi/

Marco MAGGESI

Curriculum

Disponibile dalla pagina https://sites.google.com/unifi.it/maggesi/

Marco MAGGESI

Interessi

Vedere il sito personale https://sites.google.com/unifi.it/maggesi/

Marco MAGGESI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi (2026). A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light. , in Proceedings of the 34th EACSL Annual Conference on Computer Science Logic Accesso ONLINE all'editore

Antonella Bilotta, Cosimo Perini Brogi, Marco Maggesi (2026). Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version). Accesso ONLINE all'editore

Perini Brogi, Cosimo; Maggesi, Marco (2025). Analysing Collective Adaptive Systems by Proving Theorems. In: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Springer Nature Switzerland, vol. 15219, pp. 223-237, ISBN:9783031737084 DOI Accesso ONLINE all'editore

Marco Maggesi (2025). L'Intelligenza Artificiale non esiste. In: Marco Maggesi. Mirabili Artefatti – Arte e pensiero nell'epoca dell'AI, pp. 19-27 Mimesis Edizioni, ISBN:9791222323107. Accesso ONLINE all'editore

Bilotta A.; Maggesi M.; Perini Brogi C. (2025). A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS. In: 26th Italian Conference on Theoretical Computer Science, ICTCS 2025, Campus of Pescara, at the Department of Economic Studies of the University of Chieti-Pescara, ita, 2025, CEUR-WS, vol. 4039, pp. 154-162. Accesso ONLINE all'editore

Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton (2025). Recurrent Neural Networks for Guiding Proof Search in Propositional Logic. In: 26th Italian Conference on Theoretical Computer Science, ICTCS 2025, Campus of Pescara, at the Department of Economic Studies of the University of Chieti-Pescara, ita, 2025, CEUR-WS, vol. 4039, pp. 113-126.

Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi (2025). Displayed Universal Algebra in UniMath: Basic Definitions and Results. In: 26th Italian Conference on Theoretical Computer Science, ICTCS 2025, Campus of Pescara, at the Department of Economic Studies of the University of Chieti-Pescara, ita, 2025, CEUR-WS, vol. 4039, pp. 127-133.

Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M. (2024). Variable binding and substitution for (nameless) dummies. LOGICAL METHODS IN COMPUTER SCIENCE, vol. 20, pp. 0-0, ISSN:1860-5974 DOI Accesso ONLINE all'editore

marco maggesi; cosimo perini brogi (2024). Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic. In: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems. ISoLA 2024, Crete, Greece, October 27–31, 2024, Springer, Cham, vol. 15220, pp. 297-315, ISBN:978-3-031-75106-6 DOI Accesso ONLINE all'editore

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini (2024). Growing HOLMS, a HOL Light Library for Modal Systems. In: Daniele Porello, Cosimo Vinci, Matteo Zavatteri. Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, pp. 0-0 CEUR-WS., vol. 3904: Accesso ONLINE all'editore

Carla Balocco, Tessa Marzi, Franco Bagnoli, Brunella Casalini, Marco Maggesi, Francesco Grasso (2024). “Sistema, Complessità e Natura. Nuovi paradigmi per la progettazione energetica ambientale-urbana”. BOLLETTINO INGEGNERI, pp. 1-9, ISSN:2035-2417

Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi (2024). Universal Algebra in UniMath. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. ..., pp. 0-0, ISSN:1469-8072 DOI Accesso ONLINE all'editore

Branchini, Paolo; Maggesi, Marco; Tortora, Luca; Vespri, Vincenzo; Zatti, Filippo (2023). The New IoT Driven World: Overview and Perspectives. In: Environment and Electrical Engineering (EEE-AM), Asia Meeting on, Hanoi, Vietnam, 13-15 Nov. 2023, IEEE, pp. 1-7, ISBN:979-8-3503-8106-1 DOI Accesso ONLINE all'editore

Marco Maggesi; Gianni Ciolli (2023). Blockchain, criptovalute e contratti intelligenti. In: Vincenzo Ancona. La forza nascosta della matematica, pp. 107-117, Firenze, Italia: Edizioni Polistampa, ISBN:978-88-596-2340-3., vol. Quaderno 12:

Maggesi, M; Perini Brogi, Cosimo (2023). Mechanising Godel-Lob Provability Logic in HOL Light. JOURNAL OF AUTOMATED REASONING, vol. 67, pp. 0-0, ISSN:0168-7433 DOI Accesso ONLINE all'editore

Marco Maggesi (2022). Una introduzione visiva al Machine Learning e al Deep Learning. LABORATORIO DELL'ISPF RIVISTA ELETTRONICA DI TESTI, SAGGI E STRUMENTI, vol. XIX, pp. 0-0, ISSN:1824-9817 DOI Accesso ONLINE all'editore

Hirschowitz A.; Hirschowitz T.; Lafont A.; Maggesi M. (2022). Variable binding and substitution for (nameless) dummies. In: 25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, 2022, Springer Science and Business Media Deutschland GmbH, vol. 13242, pp. 389-408. DOI Accesso ONLINE all'editore

Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels (2022). Bicategories in univalent foundations. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, pp. 1-38, ISSN:0960-1295 DOI Accesso ONLINE all'editore

Marco Maggesi; Cosimo Perini Brogi (2021). A formal proof of modal completeness for provability logic. In: 12th International Conference on Interactive Theorem Proving (ITP 2021), Italy, Rome (Virtual), 29 June – 01 July, 2021, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, vol. 193, pp. 1-18, ISBN:978-3-95977-188-7 DOI Accesso ONLINE all'editore

Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (2021). Presentable signatures and initial semantics. LOGICAL METHODS IN COMPUTER SCIENCE, vol. 17, pp. 1-28, ISSN:1860-5974 DOI Accesso ONLINE all'editore

Gianluca Amato; Marco Maggesi; Cosimo Perini Brogi (2021). Universal Algebra in UniMath. Accesso ONLINE all'editore

Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (2020). Reduction Monads and Their Signatures. PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES, vol. 4, pp. 1-29, ISSN:2475-1421 DOI Accesso ONLINE all'editore

Marco Maggesi; Enrico Tassi (2020). Private types in Higher Order Logic Programming. pp. 1-2, in TEASE-LP 2020 - Workshop on Trends, Extensions, Applications and Semantics of Logic Programming Accesso ONLINE all'editore

Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi (2020). Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020. pp. 1-4 Accesso ONLINE all'editore

Marco Maggesi; Massimo Nocentini (2020). Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System. pp. 0-0 DOI Accesso ONLINE all'editore

Marco Maggesi, Donato Pertici, Giuseppe Tomassini (2020). Extension and tangential CRF conditions in quaternionic analysis. ANNALI DI MATEMATICA PURA ED APPLICATA, vol. 199, pp. 2263-2289, ISSN:0373-3114 DOI Accesso ONLINE all'editore

Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide (2019). Bicategories in Univalent Foundations. In: FSCD 2019 International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 24-30,2019, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, vol. 5, pp. 1-17, ISBN:978-3-95977-107-8 DOI Accesso ONLINE all'editore

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco maggesi (2019). Modular Specification of Monads Through Higher-Order Presentations. In: FSCD 2019 International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 24-30,2019, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, vol. 131, pp. 1-19, ISBN:978-3-95977-107-8 DOI Accesso ONLINE all'editore

Gabriele Vezzosi; Marco Maggesi (2018). Some elementary remarks on lci algebraic cycles. RIVISTA DI MATEMATICA DELLA UNIVERSITÀ DI PARMA, vol. 9, pp. 365-372, ISSN:0035-6298 Accesso ONLINE all'editore

Marco Maggesi (2018). A Formalization of Metric Spaces in HOL Light. JOURNAL OF AUTOMATED REASONING, vol. 60, pp. 237-254, ISSN:0168-7433 DOI Accesso ONLINE all'editore

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2018). High-level signatures and initial semantics. In: ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, gbr, 2018, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, vol. 119, pp. 1-22, ISBN:9783959770880 DOI Accesso ONLINE all'editore

Andrea Gabrielli; Marco Maggesi (2017). Formalizing basic quaternionic analysis. In: ITP 2017 - Interactive Theorem Proving 2017, Brasilia (Brasile), 26 - 29 settembre 2017, Springer, vol. 10499, pp. 225-240, ISBN:978-3-319-66107-0 DOI Accesso ONLINE all'editore

Marco, Maggesi (2015). A formalisation of metric spaces in HOL Light. pp. 1-4 Accesso ONLINE all'editore

Marco, Maggesi (2015). A symbolic approach to abstract algebra in HOL Light. pp. 1-4 Accesso ONLINE all'editore

Marco, Maggesi (2015). Matematica, l'esplosione continua .... Unione Matematica Italiana, ISBN:9788896336199 Accesso ONLINE all'editore

Marco Maggesi (2014). Formalization of Quaternionic Calculus in HOL Light. Accesso ONLINE all'editore

Marco Maggesi (2014). Formalization of metric spaces in HOL Light. Accesso ONLINE all'editore

Maggesi, Marco; Hirschowitz, André (2012). Nested Abstract Syntax in Coq. JOURNAL OF AUTOMATED REASONING, vol. 49, pp. 1-18, ISSN:0168-7433 DOI Accesso ONLINE all'editore

André Hirschowitz; Maggesi Marco (2012). Initial Semantics for Strengthened Signatures. In: Fixed Points in Computer Science, Tallinn, Estonia, 24 marzo 2012, Open Publishing Association, vol. 77, pp. 31-38. DOI Accesso ONLINE all'editore

Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco (2011). A certified proof of the Cartan Fixed Point Theorems. JOURNAL OF AUTOMATED REASONING, vol. 47(3), pp. 319-336, ISSN:0168-7433 DOI Accesso ONLINE all'editore

André, Hirschowitz; Maggesi, Marco (2010). Modules over Monads and Initial Semantics. INFORMATION AND COMPUTATION, vol. 208, pp. 545-564, ISSN:0890-5401 DOI Accesso ONLINE all'editore

Hirschowitz, André; Maggesi, Marco (2007). Modules over Monads and Linearity. In: Daniel Leivant; Ruy de Queiroz. Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings, pp. 218-237 Springer Berlin Heidelberg, ISBN:978-3-540-73443-7. DOI Accesso ONLINE all'editore

Maggesi, Marco (2007). Favorire la diffusione di WIMS in Italia. In: Didamatica 2007 - AICA, Associazione Italiana per l’Informatica ed il Calcolo Automatico, Cesena, 10-12 maggio, Società editrice Asterisco, pp. 963-970. Accesso ONLINE all'editore

André, Hirschowitz; Marco, Maggesi (2007). Higher-order theories. pp. 1-12 Accesso ONLINE all'editore

Maggesi, Marco; Simpson, Carlos (2006). Verifica automatica del ragionamento matematico. BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. A, vol. 9, pp. 361-389, ISSN:0392-4033

Vincenzo, Ancona; Maggesi, Marco (2005). On the Quantum Cohomology of Some Fano Threefolds. ADVANCES IN GEOMETRY, vol. 5, pp. 49-70, ISSN:1615-715X DOI Accesso ONLINE all'editore

Marco, Maggesi; Carlos, Simpson (2004). Information technology implications for mathematics: a view from the French riviera. pp. 1-38 Accesso ONLINE all'editore

Ancona, Vincenzo; Maggesi, Marco (2004). On the quantum cohomology of Fano bundles over projective spaces. In: The Fano Conference, Torino, 29 settembre - 5 ottobre, Dipartimento di Matematica dell'Università di Torino, pp. 49-70, ISBN:88-900876-1-7

Marco, Maggesi; André, Hirschowitz (2004). Modules over monads and typoids. pp. 1-29, vol. 698

Dionisi, Carla; Maggesi, Marco (2003). Minimal resolution of general stable rank-2 vector bundles on P^2. BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B, vol. 6, pp. 151-160, ISSN:0392-4041 Accesso ONLINE all'editore

Maggesi, Marco (1996). MP3(0,2d2) is singular. FORUM MATHEMATICUM, vol. 8, pp. 397-400, ISSN:0933-7741, Walter de Gruyter and Company:Genthinerstrasse 13, D 10785 Berlin Germany:011 49 30 260050, EMAIL: customerservice@deguyter.de, INTERNET: http://www.degruyter.de/, Fax: 011 49 30 26005338: DOI Accesso ONLINE all'editore

Marco MAGGESI

Biography

Visit my personal website: https://sites.google.com/unifi.it/maggesi/

Marco MAGGESI

Curriculum

Available from: https://sites.google.com/unifi.it/maggesi/

Marco MAGGESI

Interest

Visit my personal website: https://sites.google.com/unifi.it/maggesi/