Projects and contracts

Fuzzy and Metric Symbolic Learning  (80.960 Euros). Founded by the Italian region of Emilia Romagna in the context of the regional program 'Alte competenze' (Project leader)

• Symbolic and Numerical Analysis of Cyber-Physical Systems (6900 Euros). Founded by the Italian National Group for Scientific Calculus

• Conversational Automation and Voice&Speech Analysis for Active and Assisted Living (30000 Euros). Founded by the Italian region Friuli Venezia Giulia (Project co-leader)

• Modal Geometric Symbolic Learning  (2.650 Euros). Founded by the University of Ferrara (Project leader)

• Natural Language Elaboration and Temporal Logic for Text Formalization (3000 Euros). Founded by the Italian National Group for Scientific Calculus

• Set-up and Optimization of a Machine Learning Model to Predict Gas Turbine Trip (40.000 Euros). Founded by Siemens Gas and Power GmbH & Co. KG.  

• Strategic Reasoning and Automated Synthesis of Multi-Agent Systems (3000 Euros). Founded by the Italian National Group for Scientific Calculus 

• Improvement of the Integrated Software for Medical Records Generation and Production in the Center in the Center for Menopause and Osteoporosis Research of the University of Ferrara (5.000 Euros). Founded by Center of Menopause and Osteoporosis Research, University of Ferrara (Project leader)

• Artificial Intelligence for Improving the Exploitation of Water and Food Resources (3.750 Euros). Founded by the University of Ferrara (Project leader)

• New Mathematical and Computer Science Methods for Water and Food Resources Exploitation Optimization (80.960 Euros). Founded by the Italian region of Emilia Romagna in the context of the regional program 'Alte competenze' (Project leader)

• Formal Methods for Techniques for Combined Verification (7000 Euros). Founded by the Italian National Group for Scientific Calculus

• Formal Methods for Verification and Synthesis of Hybrid and Discrete Systems Logics and Automata for Interval Model Checking (8.500 Euros). Founded by the Italian National Group for Scientific Calculus

• Development of an Integrated System for the Valorization of the role of Biobanks in Clinic/Pre-Clinic Research: from Cryopreservation of Biological Samples to Data Integration (48.450 Euros). Founded by region Emilia Romagna, DataRiver s.r.l (Modena, Italy), and Smart s.r.l. (Granarolo Emilia, Italy)  (Project leader)

• Sub-topic 4 (Cross-cutting topic) in the platform Smartfood: traceability and big data in the agri-food sector value chain. Leader region: Andalucia (Spain). Co-Leader region: Emilia-Romagna (Italy). Involved regions: 14 (Project co-leader)

• Development of an Integrated Software for Medical Records Generation and Production in the Center in the Center for Menopause and Osteoporosis Research of the University of Ferrara (3.000 Euros). Founded by Center of Menopause and Osteoporosis Research, University of Ferrara (Project leader)

• Characterization of the Multi-Acquifer System of the Padana Plain (15.000 Euros). Founded by ARPA-Veneto (Project co-leader)

• Prediction of the Risk of Academic Dropout in the Degree of Computer Science (3.750 Euros). Founded by the University of Ferrara (Project leader)

• Logics and Automata for Interval Model Checking (5.700 Euros). Founded by the Italian National Group for Scientific Calculus (Project leader)

• Logic, Automata, and Games for Self-Adapting Systems (8.000 Euros). Founded by the Italian National Group for Scientific Calculus

• Active Speech and Learning Analytics System (229.413 Euros). Financed by GAP SRL (Udine, Italy) and region Friuli Venezia-Giulia (Italy) 

• Temporal and Spatial Logics: New Methods and Practical Applications (15.000 Euros). Founded by the the Spanish Ministry of Education and Science (Project leader)

• Formal Reasoning for Sustainability Problems. Founded by the Spanish Ministry of Education and Science

• Smart Ubiquitus Environments for the Monitoring of Elderly Independant People Entornos: Intelligent Temporal Data Analysis for Context-Dependant Applications. Founded by the Spanish Ministry of Education and Science

• Logics, Automata, and Games for the Verification of Complex Systems (9.000 Euros). Founded by the Italian National Group for Scientific Calculus

• Metric Temporal Logics: Theory and Applications (8.000 euros). Founded by the Spanish Ministry of Education and Science (Project co-leader)

• Red de Investigación Regional en Tecnologías de la Información y las Comunicaciones aplicadas a Medicina y Biología. Founded by Fundación Séneca

• Intelligent Systems for Information Management in a Unit for Intensive Care: Tools for Research Support and Medical Assistance. Founded by the Spanish Ministry of Education and Science

• Intelligent Tools for Quality Checking of Intra/Extra Hospical Care of Patients: an Approximation based on Clinic Guidelines. Founded by the Spanish Ministerio de Educacíon y Ciencia

• Second Joint Italy/South Africa Science and Technology Agreement. Founded by the Italian Ministry of Foreign Affairs

• Extra-Hospital Monitoring for Diagnosis and Research of Ischemic Cardiomyopathy: Tools for the Adquisition, Visualization, and Integration of Data, and Knowledge Discovery. Founded by the Spanish Ministerio de Ciencia y Tecnología

• Constraint-Based Verification of Reactive Systems. Founded by the Italian Ministry of University and Research

• First Joint Italy/South Africa Science and Technology Agreement. Founded by Italian Ministry of Foreign Affairs