Poster: Synthesis of biochemical models

The development of mechanistic computational models of biological systems continues to be an iterative manual process that requires considerable insight and patience from the modeler. An abundance of high throughput experimental methods has caused a rapid explosion of factual information about the behavior of biochemical systems. A signature based symbolic approach for automatic synthesis of biological circuits is suggested and experimental evidence that such an approach would be computationally attractive than the current techniques based on subset exploration is presented. In future, existing work on algorithmic synthesis of programs to synthesize candidate models for biochemical systems is going to be adapted.