Personal tools
You are here: Home Events Lab Lunch: Maria Luisa Guerriero

Lab Lunch: Maria Luisa Guerriero

Process algebra and model-checking for computational systems biology

What
When Aug 30, 2011
from 01:00 PM to 02:00 PM
Where Informatics Forum MF2
Add event to calendar vCal
iCal
Maria Luisa Guerriero

 

Process algebra and model-checking for computational systems biology

 

In this talk I will give an excursus of the work I have been doing over the last few years in the area of computational systems biology. In particular, I will focus on a few applications of the Bio-PEPA process algebra and the PRISM model-checker for the modelling and analysis of dynamic biochemical systems such as signalling pathways and genetic networks.

 

Document Actions