Stochastic Pi Calculus
Developed by Microsoft Research, the Stochastic Pi Machine (SPiM) is a programming language for designing and simulating computer models of biological processes. The language is based on a mathematical formalism known as the pi-calculus, and the simulation algorithm is based on standard kinetic theory of physical chemistry. The language features a simple graphical notation for modelling a range of biological systems, and can be used to model large systems incrementally, by directly composing simpler models of subsystems.
Documentation and an on-line simulator can be downloaded from the MSR Stochastic Pi Machine website
For queries about this topic, contact Alistair Bailey.
View the calendar of events relating to this topic.
Timothy Elliott, Jorn Werner (Investigators), Alistair Bailey
This project uses mathematical modelling and simulation to investigate mechanisms by which our cells process and present biological information that is used by our immune system to distinguish between healthy and diseased cells.
Professor, Medicine (FM)
Reader, Biological Sciences (FNES)
Lecturer, Electronics and Computer Science (FPAS)
Research Fellow, Medicine (FM)
Postgraduate Research Student, Biological Sciences (FNES)
Administrative Staff, Research and Innovation Services