11
May
FRIDAY MAY 12th, 2006 - WEAN HALL 7220 - 3:30pm
Towards model checking of biological phenomena
Christopher Langmead
Carnegie Mellon University
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.
