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.

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש
שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>