معرفی
Marco Maggesi is an Associate Professor at the University of Florence, affiliated with the Department of Mathematics and Computer Science 'Ulisse Dini'. His research focuses on the formal representation of mathematical and computational systems using proof assistants like HOL Light and UniMath.
Research interests span mathematical logic, formal methods, computer science, theorem proving, and category theory, with applications in complex systems, quaternionic analysis, and type theory. His work emphasizes rigorous verification of emergent behaviors in adaptive systems and foundational computational structures.
Publication trends show consistent contributions to formal verification (e.g., provability logic, universal algebra), interdisciplinary applications (e.g., IoT, blockchain), and educational outreach (e.g., visual machine learning guides). Research is frequently supported by national projects such as MIUR PRIN grants.
