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.

Projects

Immunotherapy Research: Modelling MHC Class I Complex Assembly

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.

People

Timothy Elliott
Professor, Medicine (FM)

Jorn Werner
Reader, Biological Sciences (FNES)

Srinandan Dasmahapatra
Lecturer, Electronics and Computer Science (FPAS)

Alistair Bailey
Research Fellow, Medicine (FM)

Caroline Duignan
Postgraduate Research Student, Biological Sciences (FNES)

Petrina Butler
Administrative Staff, Research and Innovation Services