In general, my interests lie in applying formal verification methods to systems in a variety of disciplines.<\/p>\n
I am currently working on the Bio Cyberphysical Systems (BioCPS) for Engineering Living Cells<\/a> project. The goal of this project is to create a next-generation Cyberphysical System that is capable of engineering populations of bacterial (primarily E. coli<\/em>) and mammalian (primarily Chinese hamster ovary and human-induced pluripotent stem) cells to produce “desired” patterns. My focus in the project is to solve a functional synthesis problem, which involves synthesizing a genetic circuit from a library of well-characterized modules that implements a desired specification given in signal temporal logic (STL). To address this problem, I am working on Phoenix<\/a>, a tool that assists users in an iterative, hierarchical specify-design-build-test cycle for constructing genetic circuits.<\/p>\n I have developed a couple metrics for computing the distance between two STL formulae, which can be used to check how close a derived specification is to a desired specification. Additionally, I have been involved in the development of STL#, an extension to STL that includes syntax and semantics for composition of temporal logic formulae. Using STL#, a designer can computationally compose STL formulae together hierarchically.\u00a0 Currently, I am looking into different methods for exploring the design space of a genetic circuit given a library of modules.<\/p>\n","protected":false},"excerpt":{"rendered":" In general, my interests lie in applying formal verification methods to systems in a variety of disciplines. I am currently working on the Bio Cyberphysical Systems (BioCPS) for Engineering Living Cells project. The goal of this project is to create a next-generation Cyberphysical System that is capable of engineering populations of bacterial (primarily E. coli) […]<\/p>\n","protected":false},"author":11553,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/pages\/41"}],"collection":[{"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/users\/11553"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/comments?post=41"}],"version-history":[{"count":9,"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/pages\/41\/revisions"}],"predecessor-version":[{"id":239,"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/pages\/41\/revisions\/239"}],"wp:attachment":[{"href":"https:\/\/sites.bu.edu\/ckmadsen\/wp-json\/wp\/v2\/media?parent=41"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}