Output details
11 - Computer Science and Informatics
University of Glasgow
Modular modelling of signalling pathways and their crosstalk
<28> Innovation: The first paper to define formally and characterise five different types of cell signalling cross-talk (phenomenon in molecular biology), which had previously only been investigated qualitatively. It presents an example of how well-understood concepts from programming language theory and model-checking can be adapted and applied to molecular biology to yield useful results and new insights. Rigour: The characterisation is proved to be well-defined. Impact: Published in the top theoretical computer science journal, the techniques are useful in synthetic biology and distinguishing diseased and non-diseased pathways. Merck Chemicals (Contact lawrence.rentoul@merckgroup.com) have recently expressed interest in developing applications.