He is using statistical techniques in particular, a method called stochastic pi-calculus to model how biological systems appear to change with time.

ECONOMIST: Computing and biology