link

November 24, Thursday
12:00 – 13:00

Applying Software Engineering and Formal Verification Methods to Biological Systems
Computer Science seminar
Lecturer : Hillel Kugler
Lecturer homepage : http://research.microsoft.com/en-us/people/hkugler/
Affiliation : Biological Computation Group , Microsoft Research Cambridge
Location : 202/37
Host : Dr. Aryeh Kontorovich
Applying Software Engineering and Formal Verification Methods to Biological Systems 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 high-level theories and models of biological systems using formal visual languages, capturing biological hypotheses, inferred mechanisms, and experimental results. I will describe some of the applications (assuming no background in biology) and outline challenges and future research directions.