The aim of the project is to apply constraint satisfaction techniques for the analysis of biochemical networks. Different tools will be developed for solving different classes of analysis problems for such networks. These tools will be also coupled to the aMAZE database, an existing, and rapidly expanding, database that integrates information on metabolic pathways and regulatory pathways at the gene and protein levels. The tools will be tested on two model organisms, namely Escherichia coli and Saccharomyces cerevisiae whose genome has been sequenced and whose metabolism and regulation are well characterized.
Duration: September 2002 for 1 year, funded by the EPSRC