January 30th, Wednesday 14:15, Room 303, Jacobs Building
The studies of biological systems are often facilitated by diagram models that summarize the current understanding of underlying mechanisms. The increasing complexity of our understanding of biology necessitates computational models that can extend these representations to include their dynamic behavior. I will present progress on foundations and tools, towards enabling biologists and modelers to construct theories and models of biological systems using formal visual languages, capturing biological hypotheses, inferred mechanisms, and experimental results. I will describe some of the common aspects and differences between Software Engineering and Biological Modeling and the potential influences that research in the intersection of the areas is yielding. I will also present recent results on the application of formal verification methods in the engineering of biological devices and circuits.