Formal verification approach to modelling biochemical systems

Add to your list(s) Download to your calendar using vCal

• Tatjana Petrov, IST Austria
• Tuesday 14 April 2015, 10:00-11:00
• Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Biochemical systems are characterised by complexity – highly-dimensional state space, non-linear and stochastic dynamics. Different formalisms have been proposed in order to capture the knowledge about the system. Moreover, when a model of a bio-molecular system is written in a formal language, it can be executed and it is amenable to formal verification-type of analysis. We present two research stories of applying techniques from formal verification to modelling biochemical systems. First, we show how to use the principle of static analysis with abstract interpretation in order to automatically reduce highly dimensional, stochastic rule-based models of signalling pathways; The reductions are performed with respect to three kinds of guarantees: (i) soundness, (ii) upped error bound and (iii) limit approximations (ie. quasi-stationary assumption). Second, we use SAT /SMT solvers to, for Wagner’s model of a gene regulatory network and a temporal property of interest, synthesise the parameters for which a given formula holds; Then, quantities such as the mutational robustness of a GRN can be computed more efficiently and more accurately than with the statistical-sampling approach commonly used by evolutionary biologists.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge Infectious Diseases
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.