Matteo Zavatteri

Matteo Zavatteri

Researcher

Projects

2024 - 2025
Principal Investigator
Neuro-Symbolic AI in digital twins
Intelligenza artificiale neuro-simbolica nei digital twins
Funding: University of Padova, 40.540,54€, PNRR Young researchers call (NextGeneration EU)
2024
Principal Investigator
Certification, monitoring, and explainability in AI systems
Certificazione, monitoraggio, ed interpretabilità in sistemi di intelligenza artificiale
Funding: INdAM-GNCS, 1700€ Partners: 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
2023 - 2026
Researcher
iNEST: Interconnected Nord-Est Innovation Ecosystem
Member of Spoke 9 - Models, methods, computing technologies for digital twin
Funding: 110M€, National Recovery and Resilience Plan (PNRR), European Union 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 funded my temporary assistant professor position in Padova, concerns research and technological transfer in the areas of mathematical and numeric models, scientific computation, and digital twins.

My contribution: applying formal methods and artificial intelligence techniques to model, validate, and control complex data-driven systems.

2023
Member
Symbolic and numerical analysis of cyber-physical systems
Analisi simbolica e numerica di sistemi ciberfisici
P.I.: Davide Bresolin, University of Padova, Italy Funding: INdAM-GNCS, 6900€ Partners: 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: 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
Natural language processing and temporal logics for the formalization of texts
Elaborazione del Linguaggio Naturale e Logica Temporale per la Formalizzazione di Testi
P.I.: Andrea Brunello, University of Udine, Italy Funding: INdAM-GNCS, 3000€ Partners: 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: the development of advanced formalisms and algorithms for mining and consistency checking of temporal networks.

2020
Member
Strategic reasoning and automated synthesis of multiagent systems
Ragionamento Strategico e Sintesi Automatica di Sistemi Multi-Agente
P.I.: Fabio Mogavero, University of Naples Federico II, Italy Funding: INdAM-GNCS, 3000€ Partners: 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: 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
Formal methods for combined verification techniques
Metodi Formali per tecniche di verifica combinata
P.I.: Dario Della Monica, University of Udine, Italy Funding: INdAM-GNCS, 7000€ Partners: 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 — Istituto di Scienze e Tecnologie della Cognizione, University of Napoli "Federico II", University of Genova, University of Modena Reggio Emilia

My contribution: 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 the resources that a process instance must commit for the execution of its tasks.

2019 - 2022
Participant
Departments of Excellence 2018 - 2022: Computer Engineering for Industry 4.0
Dipartimenti di eccellenza 2018 - 2022 - Informatica per l'industria 4.0
P.I.: Franco Fummi, University of Verona, Italy Funding: MIUR, 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: 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.