CONVENED TUESDAY, June 07, 2011, 2:00 PM - 3:30 PM
VIDEO: SESSION 8
TOPIC AREA: BIO DESIGN AUTOMATION
SPECIAL SESSION: Design and Synthesis of Biological Circuits
Chairs:
Douglas Densmore -
Boston Univ., Boston, MAMark Horowitz -
Stanford Univ., Stanford, CAOrganizers:
Smita Krishnaswamy -
Columbia Univ., New York, NYXiling Shen -
Cornell Univ., Ithaca, NYWith the growing complexity of synthetic biological circuits, robust and systematic methods are needed for design and test. Leveraging lessons learned from the semiconductor and design automation industries, synthetic biologists are starting to adopt computer aided design and verification software with some success. However, due to the great challenges associated with designing synthetic biological circuits, this nascent approach has to address many problems not present in electronic circuits. In this session, three leading synthetic biologists will share with us how they have developed software tools to help design and verify their synthetic circuits, the unique challenges they faced, and their insight into the next generation of tools for synthetic biology.
| 8.1 | Scalable Parts Families, Context, and Computational Design for Gene Expression Engineering |
| | Speaker: | Adam Arkin - Univ. of California, Berkeley, CA
|
| | Author: | Adam Arkin - Univ. of California, Berkeley, CA
|
| 8.2 | Gene and Cellular Circuit Design |
| | Speaker: | Chris Voigt - Univ. of California, San Francisco, CA
|
| | Author: | Chris Voigt - Univ. of California, San Francisco, CA
|
| 8.3 | A Verifying Compiler for DNA Chemical Reaction Networks |
| | Speaker: | Erik Winfree - California Institute of Technology, Pasadena, CA
|
| | Authors: | Erik Winfree - California Institute of Technology, Pasadena, CA
Seung Woo Shin - California Institute of Technology, Pasadena, CA
|