Alessandro Dal Palù

Research interests:

• Programming methodologies to solve complex problems: Constraint (Logic) Programming, Answer Set Programming.
• Bioinformatics.
• Analysis of multi-dimensional medical images.
• Computational complexity and data structure optimization.

• Constraint Approaches to the Protein Structure Prediction Problem
• De-novo Protein Structure Prediction Problem. Collaboration with: Agostino Dovier (Udine), Federico Fogolari (Udine), Enrico Pontelli (NMSU), Hung Dang (NMSU).
• Modeling protein flexibility. Collaboration with: Pietro Cozzini (Parma), Francesca Spyrakis (Parma).
• Protein discretization to lattices. Collaboration with: Martin Mann (Freiburg).
• Discovery of logical relationships among genes and species. Collaboration with: Riccardo Percudani (Parma), Gianfranco Rossi (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).

• 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).
• Integrating FD Constraints and CLP with Sets Collaboration with: Agostino Dovier (Udine), Gianfranco Rossi (Parma), Federico Bergenti (Parma), Enrico Pontelli(NMSU).
• Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information. Agostino Dovier (Udine), Rolf Backofen (Freiburg), Sebastian Will (Freiburg).

• COLA: download COnstraint solver for LAttices
• GASP: Answer Set Programming with Lazy Grounding
• Helix Tracer: detection of alpha helices in low resolution density maps of proteins