Towards model checking of biological phenomena

Christopher Langmead
Carnegie Mellon University

Friday, May 12th, 3:30 pm
Wean Hall 7220

Abstract

The emerging fields of systems and synthetic biology develop and utilize mathematical models of various phenomena. While these models are generally used to drive simulation studies, there is a growing body of literature devoted to the formal analysis of the models themselves. In this talk, I will survey some recent applications of formal methods to biological models. I will also present some preliminary results from our application of model checking to an instance of the 2D HP model of protein folding.