معرفی
Gianluca Amato is an Associate Professor in Mathematical Logic at the Department of Economics, University of Chieti-Pescara, Italy. He contributes to formalizing mathematics using proof assistants such as Coq and HOL Light, with a focus on univalent foundations and differential geometry. His work bridges theoretical computer science and mathematical modeling.
Research & Professional Activities
- Develops open-source tools for formal verification, including Manifolds (Coq library for differential geometry) and Jandom (a framework for numerical domains).
- Organizer of academic events like the ICTCS 2025 (Italian Conference on Theoretical Computer Science) and past co-organizer of workshops on geometric deep learning and mathematical modeling.
- Active in the Coq community, maintaining a personal GitHub repository with projects related to univalent foundations (UniMath) and software tools for number theory (weirds).
Contact
Email: gianluca.amato@unich.it
۰مقاله منتشرشده
