Bio-Design Automation EE5393 University of Minnesota Brians Automated Modular Biochemical Instantiator What, How, Why, ECE Expense Reports Investigating design strategies for generating netlists of protein-protein biochemical reactions. Applying circuit CAD methodologies: modularity / abstractions / hierarchical designs. What are we doing? How are we going about it? Such tools and methods will revolutionize the way synthetic biology is done. Why are we bothering? Playing by the Rules waveforms circuit netlist SPICE Rules for integrated circuits: amplifier v1 1 0 rin e12 rjump 1 4 1e-12 rin e12 e k e k e k rload k r k rgain k r k r k r k r k r k.dc v print dc v(9).end amplifier v1 1 0 rin e12 rjump 1 4 1e-12 rin e12 e k e k e k rload k r k rgain k r k r k r k r k r k.dc v print dc v(9).end Playing by the Rules histogram: resulting quantities of proteins biochemical reactions Rules for biochemistry: SPICE X=100, Y = 30 X a = X b = X n = 0 Y = 0 and initial quantities of proteins Gillespies SSA Playing by the Rules SPICE Gillespies SSA data structures (Gibson & Bruck, Fett & Riedel); approximation methods (Petzold); hybrid discrete/continuous methods (Kaznessis); algorithms widely studied Rules for biochemistry: SPICE X=100, Y = 30 X a = X b = X n = 0 Y = 0 Gillespies SSA dynamics well studied mathematics (Tyson, Khammash, Doyle, ); biology (Arkin, Endy, Brent); computation (Winfree, Shapiro); X=100, Y = 30 X a = X b = X n = 0 Y = 0 Where does the netlist come from? Biochemical Netlists Elucidated by biologists. Designed by skilled experimentalists (by tinkering with existing mechanisms). Netlists found in nature: New Netlists: Synthetic Biology Positioned as an engineering discipline. Novel functionality through design. Repositories of standardized parts. Driven by experimental expertise in particular domains of biology. Modify gene regulation, signaling pathways, metabolic pathways Building Bridges "Think of how engineers build bridges. They design quantitative models to help them understand what sorts of pressure and weight the bridge can withstand, and then use these equations to improve the actual physical model. [In our work on memory in yeast cells] we really did the same thing. Pam Silver, Harvard 2007 Quantitative modeling. Mathematical analysis. Incremental and iterative design changes. Engineering Design Synthetic Biology Cellulosic ethanol (Nancy Ho, Purdue, 04) Anti-malarial drugs (Jay Keasling, UC Berkeley, 06) Tumor detection (Chris Voigt, UCSF 06) Feats of synthetic bio-engineering: Strategy: apply experimental expertise; formulate ad-hoc designs; perform extensive simulations. inputsoutputs Design is driven by the input/output specification. CAD tools are not part of the design process; they are the design process. Building Digital Circuits digital circuit... ),,( 11m xxf ),,( 12m xxf ),,( 1mn xxf ... [computational] Synthetic Biology [computational] Analysis There are known knowns; and there are unknown unknowns; but today Ill speak of the known unknowns. Donald Rumsfeld, 2004 Biological Process Molecular Inputs Molecular Products Known Unknown Known / Unknown Unknown Given Gene Regulation Hard to tinker with this; but its the way computation is done Biochemistry in a Nutshell DNA: string of n nucleotides ( n 10 9 )... ACCGTTGAATGACG... Nucleotides: Amino acid: coded by a sequence of 3 nucleotides. Proteins: produced from a sequence of m amino acids (m 10 3 ) called a gene. Custom Gene Synthesis US Patent (pending): The present invention relates to a minimal set of protein-coding genes which provides the information required for replication of a free-living organism in a rich bacterial culture medium. J. Craig Venter Institute Going from reading genetic codes to writing them. Moderator: Some people have accused you of playing God. J. Craig Venter: Oh no, were not playing. Custom Gene Synthesis X=100, Y = 30 X a = X b = X n = 0 Y = 0 Biochemical Netlists Figuring out how to design netlists in terms of abstract protein types so that we meet desired specs. Implement computation & signal processing on protein quantities. What are we doing? Why? Ok, but how? Biochemical Reactions: how types of molecules combine. Playing by the Rules + + 2a2a b c Biochemical Reactions cell speciescount Discrete chemical kinetics; spatial homogeneity. Biochemical Reactions slow medium fast Relative rates or (reaction propensities): Discrete chemical kinetics; spatial homogeneity. R1R1 R2R2 R3R3 See D. Gillespie, Stochastic Chemical Kinetics, The probability that a given reaction is the next to fire is proportional to: Its rate. The number of ways that the reactants can combine. Stochastic Kinetics Choose the next reaction according to: RiRi let For each reaction Stochastic Kinetics Logic Synthesis SPICE Register Level Design Behavioral Specification (e.g., DSP function) Structural Description (e.g., memory and functional units) Circuit-Level Description (e.g., NAND2 and D flip-flops) waveforms Integrated Circuits Design Automation for Biochemistry Logic Synthesis SPICE Register Level Design Behavioral Specification (e.g., DSP function) Structural Description (e.g., memory and functional units) Biochemical Netlist (e.g., Proteins, Enzymes) Integrated Circuits Design Automation for waveforms Biochemical Synthesis STA Engine PSB 2009: Stochastic Transient Analysis Biochemical Systems Biochemistry Logic Synthesis SPICE Register Level Design Behavioral Specification (e.g., DSP function) Structural Description (e.g., memory and functional units) Biochemical Netlist (e.g., Proteins, Enzymes) Integrated Circuits Design Automation for waveforms Biochemical Synthesis STA Engine DAC 07, SB 3.0: The Synthesis of Stochastic Biochemical Systems Biochemical Synthesis Biochemistry SPICE Register Level Design Behavioral Specification (e.g., DSP function) Structural Description (e.g., memory and functional units) Biochemical Netlist (e.g., Proteins, Enzymes) Integrated Circuits Design Automation for waveforms STA Engine Joint work with Keshab Parhis group. Brians Automated Modular Biochemical Instantiator