Jul 2005 –
Jun 2007
Cambridge, UK
Created the Stochastic Pi Machine (SPiM) programming language for computational modelling of biological systems. The language is based on a formal model of concurrency known as the pi-calculus, and the simulation algorithm is based on stochastic theory of chemical kinetics.
Developed a formal specification of the language syntax and semantics (
CMSB 2007). Developed a graphical formalism for models in the language (
TCSB 2006) and their execution traces (
ENTCS 2008). Used the language for compositional modelling of synthetic gene circuits (
TCSB 2006).
Contributing author and co-editor of the 2020 Science Report, highlighted in (
Nature 2006). Supervised by Luca Cardelli and Stephen Emmott.