Decision-Making in Stem Cells

The reasoning engine for interaction networks, RE:IN, is currently undergoing legal approval and will be made available here shortly.

Decision-Making in Stem Cells

Pluripotency is the unique characteristic of embryonic stem (ES) cells, which demonstrate the capacity to generate all somatic cell lineages. But how ES cells decide to transition to a given adult cell type remains unknown. In this project, we combine formal verification, model-checking and model synthesis into a new tool for uncovering the transcriptional program of pluripotency: a reasoning engine for interaction networks.

This project is a collaborative effort with Graziano Martello and Prof Austin Smith, based at the Wellcome Trust Centre for Stem Cell Research, University of Cambridge.

Projects