Projects
- AI4HRC 2021: Artificial Intelligence for Human-Robot Collaboration
- 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.