Projects
| 2024 Principal Investigator of the project Neuro-Symbolic AI in digital twins (Intelligenza artificiale neuro-simbolica nei digital twins) Funded by University of Padova with 40.540,54€ in the context of PNRR Young researchers call (NextGeneration EU). |
| 2024 Principal Investigator of the project Certificazione, monitoraggio, ed interpretabilità in sistemi di intelligenza artificiale (Certification, monitoring, and explainability in AI systems) Funded by INdAM-GNCS with 1700€ this project put together members from the University of Udine, University of Ferrara, Libera University of Bolzano, CNR — Istituto di Scienze e Tecnologie della Cognizione, University of Roma Foro Italico, University of Napoli Federico II, University of Verona, University of Padova, University of Trieste. |
Since 2023 Researcher of the project iNEST: INTERCONNECTED NORD-EST INNOVATION ECOSYSTEM Member of Spoke 9 - Models, methods, computing technologies for digital twin Supported with 110M€ by the National Recovery and Resilience Plan (Piano Nazionale di Ripresa e Resilienza, PNRR), iNEST is a project funded by the European Union in the NextGenerationEU program. The iNEST ecosystem, where the role of University of Padova is that of proposer, was put together to rapidly enhance and extend the benefits of digital technologies of the key areas of north east Italy: industry and manufacturing, agriculture, sea, mountain, construction building, tourism, culture, health and food. The iNEST ecosystem consists of 24 partners among which all Universities of north east Italy, public national research centers, public and private highly qualified industrial realities. Its structure has a central operative hub located in Padova, managing and coordinating the project, and nine Spoke nodes spread in the north east Italy territory, where the research activities are located and other affiliates are involved by means of specific agreements. The research topic of spoke 9 (Model, Methods, Computing Technologies for Digital Twin), that funds my temporary assistant professor in Padova, concerns research and technological transfer in the areas of mathematical and numeric models, scientific computation, and digital twins. My contribution is to apply formal methods and artificial intelligence techniques to model, validate, and control complex data-driven systems. |
| 2023 Member of the project Analisi simbolica e numerica di systemi ciberfisici (Symbolic and numerical analysis of cyber-physical systems) P.I. Davide Bresolin, University of Padova, Italy Funded by INdAM-GNCS with 6900€ this project put together members from the University of Padova, University of Udine, University of Ferrara, University of Napoli Federico II, University of Verona, University of Torino, University of Parma, University of Roma Foro Italico, University of Roma La Sapienza, CNR — Istituto di Scienze e Tecnologie della Cognizione. My contribution concerns the design, development, analysis, repair, and dynamic control of Data Petri-Nets for the modeling, validation, repair, and controlled execution of data-aware business processes. |
| 2022 Member of the project Elaborazione del Linguaggio Naturale e Logica Temporale per la Formalizzazione di Testi (Natural language processing and temporal logics for the formalization of texts) P.I. Andrea Brunello, University of Udine, Italy Funded by INdAM-GNCS with 3000€ this project put together members from the University of Udine, University of Ferrara, Libera University of Bolzano, CNR — Istituto di Scienze e Tecnologie della Cognizione, University of Roma Foro Italico, University of Roma La Sapienza, University of Napoli Federico II, University of Verona, University of Torino, University of Padova, University of Parma. My contribution concerned the development of advanced formalisms and algotihms for mining and consistency checking of temporal networks. |
| 2020 Member of the project Ragionamento Strategico e Sintesi Automatica di Sistemi Multi-Agente (Strategic reasoning and automated synthesis of multiagent systems) P.I. Fabio Mogavero, University of Naples Federico II, Italy Funded by INdAM-GNCS with 3000€ this project put together members from the CNR — Istituto di Scienze e Tecnologie della Cognizione, University of Ferrara, University of Genova, Università degli Studi del Molise, University of Napoli Federico II, University of Padova, University of Roma La Sapienza, University of Roma Foro Italico, University of Salerno, University of Udine, University of Verona. My contribution to the project concerned the development of formalisms and algorithms for weak, strong, and dynamic controllability of temporal networks where time is considered both qualitative and quantitative with particular attention to mining algorithms. |
| 2019 Member of the project Metodi Formali per tecniche di verifica combinata (Formal methods for combined verification techniques) P.I. Dario Della Monica, University of Udine, Italy Funded by INdAM-GNCS with 7000€ this project put together members from University of Udine, University of Verona, University of Ferrara, University of Padova, University of Bologna, University of Roma “La Sapienza”, University of Salerno, Università Roma 3, CNR-Istituro di Scienze e Tecnlogie della Cognizione, University of Napoli “Federico II”, University of Genova, University of Modena Reggio Emilia. My contribution to the project concerned the development of formalisms and algorithms for weak, strong, and dynamica controllolability of temporal networks where time is considered both qualitative and quantitative with particular attention to the resources that a process instance must commit for the execution of its tasks. |
From 2019 to 2022 Participant of the project Dipartimenti di eccellenza 2018 - 2022 - Informatica per l’industria 4.0 (Departments of Excellence, Computer Engineering for Industry 4.0) P.I. Franco Fummi, University of Verona, Italy Funded by MIUR with 8M€ the project Computer Engineering for Industry 4.0 spanned from 2018 to 2022 to extend the Department research areas with the development of a new research action in computer science for Industry 4.0, making the computer science technologies usable and accessible for companies in this new industrial reality. My contribution to the project concerned research on discrete dynamic control for planning problems under uncertainty by proposing formalisms and algorithms to synthesize execution strategies. Also, in the context of renewal of master’s degree courses, I created the module of supervisory control for the advanced course of System Design Laboratory (SDL) as part of the master’s degree in Computer Engineering for Robotics and Smart Industry. |