Constraint technology has been successfully deployed on many hard combinatorial problems from biology, such as protein fold prediction, secondary structure prediction, sequence alignment, and so on. Among the many published examples, see the Special Issue on Bioinformatics in Volume 6, Issue 2-3 of the Constraints journal in June 2001. (The direct link to the special issue may not work from your site.) Constraint technology has been identified by the ACM (Association for Computing Machinery) as a Strategic Direction in Computing Research.
I am a senior lecturer in the Department of Information Technology at Uppsala University.
I am a member of the ASTRA Research Group in Constraint Technology at Uppsala University and a co-founder of SweConsNet, the Network for Sweden-based researchers and practitioners of Constraint technology.
My other research interests include machine learning and model checking of realtime systems. My previous research on machine learning focused on applying novel types of neural networks to signal processing.
For more details, see my homepage at the Department of Information Technology.