PAIS: Process Algebras for Interaction and Spatiality (in System Biology)


British Council, Italian Partnership Programme 2009, GPB 3,000


January 2009 - December 2009


Recently Computer Science has provided conceptual frameworks that have been applied, among others, to biological phenomena. Remarkably, several results have been obtained by exploiting computer science methodologies to Systems Biology (eg, executable models of biological phenomena).
As a matter of fact, the evolution of biological system may be modelled in terms of interactions of its components (reactant, metabolites, etc.) very much like a computation is carried by a distributed computer system (eg, peer-to-peer networks, like Skype or Gnutella).
This project applies process algebras techniques (tiny but powerful and expressive "programming languages" featuring interactions among separated components) to model and analyse aspects related to the effect of spatial distance in biological (and computer) interactions.


E Tuosto


Dr Andrea Bracciali (Pisa, Italy)

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.