---

Research interests:

• Declarative Programming methodologies to solve complex problems: Constraint (Logic) Programming, Answer Set Programming;
• Explainable Artificial Intelligence;
• Analysis of multi-dimensional medical images;
• Parallel computing, numerical simulations with CUDA architecture;
• Bioinformatics.

Active projects:

• CARING: CT-scan Automated REasoning INterpretation Guidance
• Students career analytics
• PARFLOOD: Shallow water simulations with multi-GPUs
• PON project: from plastic to paper in packaging
• Planning and automatic programming for industrial robots in packaging lines
• Heritability in human fingerprints

Complete list of funded projects

Past projects:

• Answer set programming with GPUs. Collaboration with: Agostino Dovier (Udine), Enrico Pontelli (NMSU), Andrea Formisano (Perugia).
• Brain fiber tracking and analysis from MRI data. Collaboration with: Alessandro Daducci (EPFL).
• De-novo Protein Structure Prediction Problem (FIASCO project). Collaboration with: Agostino Dovier (Udine), Federico Fogolari (Udine), Enrico Pontelli (NMSU), Ferdinando Fioretto, Federico Campeotto (NMSU).
• Modeling protein flexibility. Collaboration with: Pietro Cozzini (Parma), Francesca Spyrakis (Parma).
• RNA structural alignment. Collaboration with: Sebastian Will (Freiburg – MIT), Mathias Moehl (Freiburg).
• GASP: Answer Set Programming with Lazy Grounding. Collaboration with: Agostino Dovier (Udine), Gianfranco Rossi (Parma), Enrico Pontelli(NMSU).
• Efficient implementation of GASP. Collaboration with: Gianfranco Rossi (Parma), Enrico Franchi (Parma).
• Discovery of logical relationships among genes and species. Collaboration with: Riccardo Percudani (Parma), Gianfranco Rossi (Parma).
• Protein discretization to lattices. Collaboration with: Martin Mann (Freiburg).
• Reconstruction of protein tertiary structure from low resolution density maps experiments. Collaboration with: Enrico Pontelli, Jing He, Yonggang Lu (NMSU).
• Protein Folding Simulation in CCP Collaboration with: Agostino Dovier, Luca Bortolussi (Udine).
• Optimal algorithm for ancestors with Pure Pointer Machines. Collaboration with: Enrico Pontelli, Desh Ranjan (NMSU).
• Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD) Collaboration with: F.Avanzini (Padova), A.Belussi (Verona) , A.Dovier (Udine), and D.Rocchesso (Verona).
• Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information. Agostino Dovier (Udine), Rolf Backofen (Freiburg), Sebastian Will (Freiburg).