Research projects
8 funded projects, newest first as the file writes them, read from content/cv.yaml when this page was built. The amounts are the file's own funding field: the printed CV does not carry them, and that file keeps them so this page can. Turn inspect sources on, in the bar above, to see what each row is built from.
Projectscontent/cv.yaml · projects[]
- ANTHEM — AdvaNced Technologies for Human-centred MedicineCollaborator (University of Milano-Bicocca, ISLab)
- Research on explainability and neuro-symbolic learning for time series and multimodal physiological signals, aligned with trustworthy AI in healthcare.
- iNEST — Interconnected Nord-Est Innovation EcosystemCollaborator (Free University of Bozen-Bolzano, DBS Group)
- Contributed to applied time-series analytics and machine learning pipelines within a multi-partner innovation ecosystem, supporting research-to-impact activities on real-world data.
- Certification, Monitoring, and Interpretability of Artificial Intelligent SystemsResearch collaborator (University of Ferrara, ACLAI Lab) — GNCS / INdAM
- Developed and assessed interpretability and monitoring strategies for AI systems, focusing on explainability reporting, reliability checks, and reproducible evaluation practices.
- Set-up and Optimization of an ML Model to Predict Gas Turbine TripResearch collaborator (University of Ferrara, ACLAI Lab) — Siemens Energy Global GmbH & Co. KG
- Supported predictive modelling for rare-event/failure prediction on operational turbine data, with emphasis on validation protocols and interpretable model analysis and rule extraction for engineering stakeholders.
- Symbolic and Numerical Analysis of Cyber-Physical SystemsResearch collaborator (University of Ferrara, ACLAI Lab) — GNCS / INdAM
- Contributed to hybrid symbolic–numerical methods for analyzing cyber-physical behaviors, connecting formal modeling assumptions with empirical validation on representative scenarios.
- Modal Geometric Symbolic LearningResearch collaborator (University of Ferrara, ACLAI Lab) — University of Ferrara
- Investigated interpretable learning methods grounded in modal/logical representations, including prototype implementations and empirical assessment on benchmark tasks.
- Natural Language Elaboration and Temporal Logic for Text FormalizationResearch collaborator (University of Ferrara, ACLAI Lab) — GNCS / INdAM
- Explored NLP-to-logic workflows to formalize textual requirements into temporal/logical specifications, targeting traceability and explainable reasoning over system properties.
- Strategic Reasoning and Automated Synthesis of Multi-Agent SystemsResearch collaborator (University of Ferrara, ACLAI Lab) — GNCS / INdAM
- Contributed to strategic reasoning and automated synthesis themes, strengthening the formal-methods research line on explainability and symbolic reasoning.
content/cv.yaml — projects[], 8 entries in file order. Keys read: title, detail, url, dates, funding, items. 1 of 8 have dates running to Present.
8 of 8 state a funding figure, shown under the dates: €120M (programme total), €110M (programme total), €1,700, €40,000, €6,900, €2,650, €3,000, €3,000. Each is that field verbatim, including its own note about what the amount covers; nothing is summed here, because a programme total and a grant to one group are not the same quantity and adding them would state something the file does not.
This page renders the whole of projects[]. It is not a software portfolio: the code behind the work is on GitHub and the papers are in the publications index.