The TAU Programming Languages and Systems Seminar - Formal Analysis of Network Motifs
Hillel Kugler from Bar Ilan university
12 במאי 2019, 12:30
בניין שרייבר, חדר 309
Abstract:
I will present a formal reasoning approach enabling the synthesis of biological networks capable of reproducing some experimentally observed behavior. Recently we extended this approach to allow reasoning about the requirement for specific network motifs - a recurring set of small sub-networks that serve as the building blocks of biological networks across diverse organisms. The long term aim of this research is to give us insights about how biological systems are designed, allow us to predict their behavior and also design synthetic devices that utilize biological material and design principles. No prior knowledge of biology will be assumed in the talk.