cfaed Seminar Series

cfaed Seminar Series

Tatjana Petrov , IST, Austria

Formal verification of biological systems

03.04.2017 (Monday) , 11:00 - 12:30
CSBD , Pfotenhauerstraße 108 , 01307 Dresden

Abstract

Formal verification, a field of computer science that aims to automatically prove program correctness, has shown remarkable success in dealing with large-scale, complex systems. Biological systems are prime examples of complexity: they are large-scale, stochastic, function at multiple organisation levels and time-scales, exhibit emergent behaviors.

In this talk two research stories will be shown: where formal verification methods are employed to tackle biological complexity: (i) automated reductions of stochastic rule-based models of biochemical systems, and (ii) model checking the evolution of gene regulatory networks.

Go back