List of Research and Development Projects (partial)



• Leader of the Unit at the Universita' degli Studi di Udine of the project on Databases for Positioning - DIMI / u-blox 2014/18;

• 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 - DIMI / GAP 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 - DIMI / 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 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