Projects
- MaPSART (18 mesi) bando a cascata PNRR, giugno 2024 (A. Formisano)
- INdAM-GNCS 2024 project LCXAI: Logica Computazionale per eXplainable Artificial Intelligence (L. Giordano)
- INdAM-GNCS-2023 ARICSxAI: Automated Reasoning Interpretation of Ct-Scans and xAI (A. Dal Palù)
- INdAM-GNCS-2022 InSANE: Investigating Sparse Algorithms in the post-von Neumann Era (F. Vella)
- Interdepartment Project on AI (Strategic Plan of UniUD–2022-25)
- Uniud e Fondazione Friuli: AI4HRC 2021: Artificial Intelligence for Human-Robot Collaboration (A. Dovier)
- INdAM-GNCS-2020 NoRMA: Non-monotonic Reasoning on Modern parallel Architectures (A. Formisano)
- INDAM/GNCS 2019. Logic Programming for early detection of pancreatic cancer
- INDAM/GNCS 2017. DECORE – A DEClarative approach for Object REconstuction
- INDAM/GNCS 2016: Programmazione logica per lo studio dell’evoluzione del genoma nel cancro
- INDAM/GNCS 2015: Constraint-Based Search using GPUs and applications to protein structure prediction.
- INDAM/GNCS 2014: CUD@ASP: sfruttare la potenza di calcolo delle GPU per il ragionamento automatico.
- Progetto regionale FVG 2013: Sviluppo di un simulatore per la modellizzazione e il dimensionamento di sistemi energetici (partner industriale ACRITAS srl)
- Progetto regionale FVG 2012: Sistema HW/SW di raccolta dati real-time in ambito automotive per soluzioni di mobilità sostenibile (partner industriale: Qualibit srl)
- Progetto regionale FVG 2012: Sistema di pianificazione adattiva per soluzioni di mobilità sostenibile (partner industriale TELLUS)
- Progetto regionale FVG 2011: Sistema automatico ed intelligente di tracciamento delle siviere in uno stabilimento siderurgico (partner industriale: Qualibit srl)
- INDAM/GNCS 2011: Nuova architettura parallela per l’esecuzione di Programmi Logici mediante General Purpose Graphic Processing Unit (GPGPU)
- INDAM/GNCS 2010: Tecniche innovative per la programmazione con
vincoli in applicazioni strategiche
- Progetto regionale FVG 2009: Tecniche ed algoritmi per la rappresentazione e la manipolazione della conoscenza in sistemi di configurazione (partner industriale: Acritas)
- PRIN 2008 (20089M932N). Innovative and multi-disciplinary approaches for constraint and preference reasoning.
- INDAM/GNCS 2005: Sviluppo di risolutori di vincoli e loro applicazioni in teoria dei codici e bioinformatica.
- PRIN 2005 (2005015491). Vincoli per la programmazione con insiemi, l’analisi di sistemi con automi, il ragionamento su intervalli e la bioinformatica.
- FIRB 2003 (RBNE03B8KK): Il riconoscimento molecolare nelle interazioni proteina-ligando, proteina-proteina e proteina superficie: sviluppo di approcci sperimentali e computazionali integrati per lo studio di sistemi di interesse farmaceutico.
