Microbial engineering often requires fine control over protein expression; for example, to connect genetic circuits 1-7 or control flux through a metabolic pathway 8-13. We have developed a predictive design method for synthetic ribosome binding sites that enables the rational control of a protein's production rate on a proportional scale. Experimental validation of over 100 predictions in Escherichia coli shows that the method is accurate to within a factor of 2.3 over a range of 100,000-fold. The design method also correctly predicts that reusing a ribosome binding site sequence in different genetic contexts can result in different protein expression levels. We demonstrate the method's utility by rationally optimizing a protein's expression level to connect a genetic sensor to a synthetic circuit. The proposed forward engineering approach will accelerate the construction and systematic optimization of large genetic systems.

Computation can be performed in living cells by DNA-encoded circuits that process sensory information and control biological functions. Their construction is time-intensive, requiring manual part assembly and balancing of regulator expression. We describe a design environment, Cello, in which a user writes Verilog code that is automatically transformed into a DNA sequence. Algorithms build a circuit diagram, assign and connect gates, and simulate performance. Reliable circuit design requires the insulation of gates from genetic context, so that they function identically when used in different circuits. We used Cello to design 60 circuits forEscherichia coli(880,000 base pairs of DNA), for which each DNA sequence was built as predicted by the software with no additional tuning. Of these, 45 circuits performed correctly in every output state (up to 10 regulators and 55 parts), and across all circuits 92% of the output states functioned as predicted. Design automation simplifies the incorporation of genetic circuits into biotechnology projects that require decision-making, control, sensing, or spatial organization.

Genetically-encodable optical reporters, such as Green Fluorescent Protein, have revolutionized the observation and measurement of cellular states. However, the inverse challenge of using light to precisely control cellular behavior has only recently begun to be addressed; semi-synthetic chromophore-tethered receptors1 and naturally-occurring channel rhodopsins have been used to directly perturb neuronal networks2,3. The difficulty of engineering light sensitive proteins remains a significant impediment to the optical control to most cell-biological processes. Here we demonstrate the use of a new genetically-encoded light-control system based on an optimized reversible protein-protein interaction from the phytochrome signaling network of Arabidopsis thaliana. Because protein-protein interactions are one of the most general currencies of cellular information, this system can in principal be generically used to control diverse functions. Here we show that this system can be used to precisely and reversibly translocate target proteins to the membrane with micrometer spatial resolution and second time resolution. We show that light-gated translocation of the upstream activators of rho-family GTPases, which control the actin cytoskeleton, can be used to precisely reshape and direct the cell morphology of mammalian cells. The light-gated protein-protein interaction that has been optimized in this work should be useful for the design of diverse light-programmable reagents, potentially enabling a new generation of perturbative, quantitative experiments in cell biology.

Cells are able to navigate environments, communicate, and build complex patterns by initiating gene expression in response to specific signals. Engineers need to harness this capability to program cells to perform tasks or build chemicals and materials that match the complexity seen in nature. This review describes new tools that aid the construction of genetic circuits. We show how circuit dynamics can be influenced by the choice of regulators and changed with expression “tuning knobs.” We collate the failure modes encountered when assembling circuits, quantify their impact on performance, and review mitigation efforts. Finally, we discuss the constraints that arise from operating within a living cell. Collectively, better tools, well-characterized parts, and a comprehensive understanding of how to compose circuits are leading to a breakthrough in the ability to program living cells for advanced applications, from living therapeutics to the atomic manufacturing of functional materials.

Computation underlies the organization of cells into higher-order structures, for example during development or the spatial association of bacteria in a biofilm [1][2][3] . Each cell performs a simple computational operation, but when combined with cell-cell communication, intricate patterns emerge. Here we study this process by combining a simple genetic circuit with quorum sensing to produce more complex computations in space. We construct a simple NOR logic gate in Escherichia coli by arranging two tandem promoters that function as inputs to drive the transcription of a repressor. The repressor inactivates a promoter that serves as the output. Individual colonies of E. coli carry the same NOR gate, but the inputs and outputs are wired to different orthogonal quorum-sensing 'sender' and 'receiver' devices 4,5 . The quorum molecules form the wires between gates. By arranging the colonies in different spatial configurations, all possible two-input gates are produced, including the difficult XOR and EQUALS functions. The response is strong and robust, with 5-to >300-fold changes between the 'on' and 'off' states. This work helps elucidate the design rules by which simple logic can be harnessed to produce diverse and complex calculations by rewiring communication between cells.Boolean logic gates integrate multiple digital inputs into a digital output. Electronic integrated circuits consist of many layered gates. In cells, regulatory networks encode logic operations that integrate environmental and cellular signals [6][7][8] . Synthetic genetic logic gates have been constructed, including those that perform AND, OR and NOT functions [9][10][11][12] , and have been used in pharmaceutical and biotechnological applications 13,14 . Multiple gates can be layered to build more complex programs [15][16][17] , but it remains difficult to predict how a combination of circuits will behave on the basis of the functions of the individuals 11,18 . Here we have compartmentalized a simple logic gate into separate E. coli strains and use quorum signalling to allow communication between the strains 5 . Compartmentalizing the circuit produces more reliable computation by population-averaging the response. In addition, a program can be built from a smaller number of orthogonal parts (for example transcription factors) by re-using them in multiple cells. NOR and NAND gates are unique because they are functionally complete. That is, any computational operation can be implemented by layering either of these gates alone 19 . Of these, the NOR gate is the simplest to implement using existing genetic parts. A NOR gate is 'on' only when both inputs are 'off' (Fig. 1a). We designed a simple NOR gate by adding a second input promoter to a NOT gate 20 . Tandem promoters with the same orientation drive the expression of a transcriptional repressor (Fig. 1b). Tandem promoters are common in prokaryotic genomes 21 . This is expected to produce an OR function; however, interference between the promoters can occur (Supplementary Figure 3)....