Further information
Professor Marta Kwiatkowska, Computing Laboratory, University of Oxford presents this Bioinformatics Seminar.
Abstract: Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, including security and communication protocols, distributed algorithms and power management. In this seminar I will demonstrate its applicability to the analysis of biological pathways and show how it can yield a better understanding of the dynamics of these systems. Through a case study of the FGF (Fibroblast Growth Factor) pathway, I explain how biological pathways can be modelled in the probabilistic model checker PRISM and how this enables the analysis of a rich selection of quantitative properties. For more information about this work see: http://web.comlab.ox.ac.uk/activities/probverifbio/.
All welcome. Refreshments will be supplied outside G34 foyer from 5.30-6.00pm.
For more info or to join the mailing list contact bioinformatics@imperial.ac.uk