• Member of the Board of Directors and Coordinator of the Scientific Council of the PNRR Ecosystem iNEST - iNEST 2022/2025;
• Member of the Unit at the Universita' degli Studi di Trento of the PNRR Extended Partnership project FAIR (Future Artificial Intelligence Research) - FAIR 2023/2025;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Certification, monitoring, and interpretability of artificial intelligence systems - GNCS 2024;
• Leader of the Unit at the Universita' degli Studi di Udine of the project Automazione Conversazionale e Voice&speech Analytics per l'Active and Assisted Living (ACVAAAL) - DMIF / GAP SRLU 2022/2024;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Symbolic and numerical analysis of cyber-physical systems - GNCS 2023;
• Leader of the Collaborative Research Project Universita' degli Studi di Udine / CNR Roma (DM 737) on A framework to synthesize controllers in safety-critical scenarios - UniUd / CNR 2022/2024;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Towards a uniform modeling framework for fingerprint-based positioning - DMIF / u-blox 2022/2023;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Natural language processing and temporal logic for text formalization - GNCS 2022;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Machine learning and formal methods for smart systems integration and intelligent sensors - DMIF / Silicon Austria Labs GmbH 2019/22;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Models, algorithms, and tools for indoor positioning - DMIF / u-blox 2018/22;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Fingerprints and spatial knowledge in indoor positioning - DMIF / u-blox 2021/2022;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Strategic reasoning and automatic synthesis for multi-agent systems - GNCS 2020;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Managing indoor positioning in the u-blox database LES - DMIF / u-blox 2020/2021;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Formal methods for combined verification techniques - GNCS 2019;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Trajectory management in positioning databases - DMIF / u-blox 2018/19;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Formal methods for the verification and synthesis of discrete and hybrid systems - GNCS 2018;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Databases for Positioning - DMIF / u-blox 2014/18;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Maintenance services regarding the project "Databases for Testing" - DMIF / u-blox 2017;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Active Speech and Learning Analytics System: analisi conversato e learning per contact center - DMIF / GAP SRLU 2017/18;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Logic and Automata for Interval Model Checking - GNCS 2017;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Logic, Automata, and Games for Auto-Adaptive Systems - GNCS 2016;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Databases for Testing - DMIF / u-blox 2015/16;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Algorithmica for model checking and synthesis of safety-critical systems - GNCS 2015;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Active Contact Systems - DIMI / GAP SRLU 2014/15;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Sviluppo di un Simulatore per la Modellazione e il Dimensionamento dei Sistemi Energetici - DIMI / Acritas 2014/15;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Automata, games and temporal logics for verification and synthesis of safety-critical systems - GNCS 2014;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Nuovi sistemi per l'interoperabilità e la visualizzazione web di modelli 3D per implementare servizi di BIM - DIMI / Tecnoteca 2012/14;
• Member of the Unit at the Universita' degli Studi di Udine of the GNCS project on Extended Game Logics - GNCS 2013;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Estensione del webGIS correntemente in uso presso il Comune di Tavagnacco con funzionalità per la gestione dell'anagrafica degli edifici, dei rifiuti e delle attività economiche presenti sul territorio comunale - DIMI / Comune di Tavagnacco 2013;
• Italian representative in the steering committee of the ESF (European Science Foundation) project on Games for Design and Verification (GAMES) - ESF 2008/13;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Piattaforma innovativa per la gestione integrata del territorio e la tutela ambientale - DIMI / GeoTechnos 2010/12;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on L'analisi, la progettazione, lo sviluppo e l'implementazione di un sistema per la modellazione, l'elaborazione e la pubblicazione di dati cartografici - DIMI / Comune di Tavagnacco 2011;
• Member of the Unit at the Universita' degli Studi di Udine of the PRIN project on Innovative and multidisciplinary approaches to reasoning about constraints and preferences - PRIN 2010/11;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Analisi e revisione di un sistema webGIS per la gestione integrata dei rifiuti - DIMI / Comune di Tavagnacco 2010;
• Leader of the GNCS (Gruppo Nazionale per il Calcolo Scientifico) project on Logics, automata, and games for the formal verification of complex systems - GNCS 2010;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Modellazione della conoscenza e ragionamento efficiente in sistemi di configurazione - DIMI / Acritas 2009/10;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Progettazione, sviluppo ed implementazione di una base di dati per la gestione automatica di informazioni ricavate da questionari somministrati periodicamente - DIMI / Agenzia Sviluppo Distretto Industriale del Mobile – “Distretto del Mobile Società Consortile a r.l.” 2009/10;
• Leader of the Unit at the Universita' degli Studi di Udine of the project on Tecniche e algoritmi per la rappresentazione e la manipolazione della conoscenza in sistemi di configurazione - DIMI / Acritas 2008/09;
• Member of the Italian regional project funded by the Regione Autonoma Friuli Venezia Giulia on Biocheck: a tool for simulation and verification of biological models - FVG 2006/08;
• Leader (together with prof. Valentin Goranko) of the Italy/South Africa joint project on Temporal logics in computer and information sciences - ITA-SA 2005/07;
• Member of the Unit at the Universita' degli Studi di Udine of the PRIN project on Constraints and preferences as a unifying formalism for system analysis and solution of real-life problems (VIPER) - PRIN 2006/07;
• Member of the INTAS European Project on Algebraic and Deduction Methods in Non Classical Logics and their Applications to Computer Science - INTAS 2005/07;
• Member of the Unit at the Universita' degli Studi di Udine of the PRIN project on Abstract Interpretation Design and Applications (AIDA) - PRIN 2005/06;
• Leader of the Italian Unit at the Universita' degli Studi di Udine of the project on Model Checking Methods and Tools for Hybrid Logics (HyMOC), funded by NWO, The Netherlands - NWO 2002/06;
• Member of the GNCS (Gruppo Nazionale per il Calcolo Scientifico) project on Development of constraint solvers and their applications in coding theory and bioinformatics - GNCS 2005;
• Member of the Unit at the Universita' degli Studi di Udine of the PRIN project on Constraint based verification of reactive systems (COVER) - PRIN 2003/04;
• Member of the GNCS (Gruppo Nazionale per il Calcolo Scientifico) project on Mathematical and algorithmic methods for the analysis of nucleotides and amino acids - GNCS 2003;
• Leader (together with prof. Valentin Goranko) of the Italy/South Africa joint project on Theory and applications of temporal logics to computer science and artificial intelligence - ITA-SA 2002/03;
• Leader of the Unit at the Universita' degli Studi di Udine of the PRIN project on Software Architectures and LAnguages to coordinate DIstributed mobile compoNents (SALADIN) - PRIN 2000/01;
• Member of the Italian regional project funded by the Regione Autonoma Friuli Venezia Giulia on A multimedia system for the automatic recognition, indexing, and retrieval of musical data (ARMIDA) - FVG 2000/01;
• Member of the Italian Unit at the Universita' degli Studi di Udine of the ALFA (America Latina Formacion Academica) international project funded by the European Community on Tools for Teaching Logic (ARACNE) - ALFA 1997/99;
• Member of the Italian Unit at CISE, Milano, of the ESPRIT II project n. 2409 funded by the European Strategic Program on Research in Information Technology on Environment for QUAlitative TempOral Reasoning (EQUATOR) - EU 1989/93
• Member of the Unit at CISE, Milano, of the CNR Finalized Project "Information Systems and Parallel Computing" - CNR 1989/93