Detail

Constraint- and Hypothetical-based Reasoning for Bioinformatics

The goal of this project is to enrich the quality of the research in both groups through collaborating. Therefore, each group will provide its specialisation in the subject.
On the one hand the UNL group has a long experience working with constraint programming in bioinformatics, namely on structural bioinformatics where constraint technology has been applied both for determining the structure of proteins as well as for efficient protein docking. The URV team has done extensive research on logic based language processing incorporating constraint technology via CHR in their systems, and applied it successfully to bioinformatics, namely in genomics (RNA and DNA processing).
In this context, the groups should be able to exploit the synergy between their computing techniques, as well as the bioinformatics areas they have covered so far, and provide both new applications for the techniques, motivating their development, and new insights into how to solve a wide range of bioinformatics problems.