February 7, Thursday
12:00 – 13:00
SMT-based Analysis of Complex Systems
Computer Science seminar
Lecturer : Hillel Kugler
Affiliation : Computational Science Laboratory, Microsoft Research Cambridge
Location : 202/37
Host : Dr. Aryeh Kontorovich
We describe a
framework for specifying and analyzing complex system models composed
of heterogeneous components using an SMT (Satisfiability Modulo
Theories)
based approach. We apply this method to the emerging fields of
Synthetic biology and DNA Computing, and more broadly to study
Biological Computation. This work highlights biological engineering as
a domain that can benefit extensively from the application of software
engineering and formal methods, while some of the methods and
challenges addressed have the potential to influence development of
novel tools for system and software engineering.