AutoBioCAD: full biodesign automation of genetic circuits

Effects of mRNA conformational switching on translational noise in gene circuits

Intragenic translational heterogeneity describes the variation in translation at the level of transcripts for an individual gene. A factor that contributes to this source of variation is the mRNA structure. Both the composition of the thermodynamic ensemble, i.e., the stationary distribution of mRNA structures, and the switching dynamics between those play a role. The effect of the switching dynamics on intragenic translational heterogeneity remains poorly understood. We present a stochastic translation model that accounts for mRNA structure switching and is derived from a Markov model via approximate stochastic filtering. We assess the approximation on various timescales and provide a method to quantify how mRNA structure dynamics contributes to translational heterogeneity. With our approach, we allow quantitative information on mRNA switching from biophysical experiments or coarse-grain molecular dynamics simulations of mRNA structures to be included in gene regulatory chemical reaction network models without an increase in the number of species. Thereby, our model bridges a gap between mRNA structure kinetics and gene expression models, which we hope will further improve our understanding of gene regulatory networks and facilitate genetic circuit design.

Automatic design of gene regulatory mechanisms for spatial pattern formation

Gene regulatory mechanisms (GRMs) control the formation of spatial and temporal expression patterns that can serve as regulatory signals for the development of complex shapes. Synthetic developmental biology aims to engineer such genetic circuits for understanding and producing desired multicellular spatial patterns. However, designing synthetic GRMs for complex, multi-dimensional spatial patterns is a current challenge due to the nonlinear interactions and feedback loops in genetic circuits. Here we present a methodology to automatically design GRMs that can produce any given two-dimensional spatial pattern. The proposed approach uses two orthogonal morphogen gradients acting as positional information signals in a multicellular tissue area or culture, which constitutes a continuous field of engineered cells implementing the same designed GRM. To efficiently design both the circuit network and the interaction mechanisms-including the number of genes necessary for the formation of the target spatial pattern-we developed an automated algorithm based on high-performance evolutionary computation. The tolerance of the algorithm can be configured to design GRMs that are either simple to produce approximate patterns or complex to produce precise patterns. We demonstrate the approach by automatically designing GRMs that can produce a diverse set of synthetic spatial expression patterns by interpreting just two orthogonal morphogen gradients. The proposed framework offers a versatile approach to systematically design and discover complex genetic circuits producing spatial patterns.

Automatic design of gene regulatory mechanisms for spatial pattern formation

Synthetic developmental biology aims to engineer gene regulatory mechanisms (GRMs) for understanding and producing desired multicellular patterns and shapes. However, designing GRMs for spatial patterns is a current challenge due to the nonlinear interactions and feedback loops in genetic circuits. Here we present a methodology to automatically design GRMs that can produce any given spatial pattern. The proposed approach uses two orthogonal morphogen gradients acting as positional information signals in a multicellular tissue area or culture, which constitutes a continuous field of engineered cells implementing the same designed GRM. To efficiently design both the circuit network and the interaction mechanisms-including the number of genes necessary for the formation of the target pattern-we developed an automated algorithm based on high-performance evolutionary computation. The tolerance of the algorithm can be configured to design GRMs that are either simple to produce approximate patterns or complex to produce precise patterns. We demonstrate the approach by automatically designing GRMs that can produce a diverse set of synthetic spatial expression patterns by interpreting just two orthogonal morphogen gradients. The proposed framework offers a versatile approach to systematically design and discover pattern-producing genetic circuits.

Robotic automation and unsupervised cluster assisted modeling for solving the forward and reverse design problem of paper airplanes

Although often regarded a childhood toy, the design of paper airplanes is subtly complex. The design space and mapping from geometry to distance flown is highly nonlinear and probabilistic where a single airplane design exhibits a multitude of trajectory forms and flight distances. This makes optimization and understanding of their behavior challenging for humans. By understanding the behavior of paper airplanes and predicting flight behavior, there is a potential to improve the design of aerial vehicles that operate at low Reynolds numbers. By developing a robotic system that can fabricate, test, analyze, and model the flight behavior in an unsupervised fashion, a wide design space can be reliably characterized. We find there are discrete behavioral groups that result in different trajectories: nose dive, glide, and recovery glide. Informed by this characterization we propose a method of using Gaussian mixture models to extract the clusters of the design space that map to these different behaviors. This allows us to solve both the forward and reverse design problem for paper airplanes, and also to perform efficient optimization of the geometry for a given target flight distance.

Synthetic Biology in Plants, a Boon for Coming Decades

Recently an enormous expansion of knowledge is seen in various disciplines of science. This surge of information has given rise to concept of interdisciplinary fields, which has resulted in emergence of newer research domains, one of them is 'Synthetic Biology' (SynBio). It captures basics from core biology and integrates it with concepts from the other areas of study such as chemical, electrical, and computational sciences. The essence of synthetic biology is to rewire, re-program, and re-create natural biological pathways, which are carried through genetic circuits. A genetic circuit is a functional assembly of basic biological entities (DNA, RNA, proteins), created using typical design, built, and test cycles. These circuits allow scientists to engineer nearly all biological systems for various useful purposes. The development of sophisticated molecular tools, techniques, genomic programs, and ease of nucleic acid synthesis have further fueled several innovative application of synthetic biology in areas like molecular medicines, pharmaceuticals, biofuels, drug discovery, metabolomics, developing plant biosensors, utilization of prokaryotic systems for metabolite production, and CRISPR/Cas9 in the crop improvement. These applications have largely been dominated by utilization of prokaryotic systems. However, newer researches have indicated positive growth of SynBio for the eukaryotic systems as well. This paper explores advances of synthetic biology in the plant field by elaborating on its core components and potential applications. Here, we have given a comprehensive idea of designing, development, and utilization of synthetic biology in the improvement of the present research state of plant system.

A Perspective on Synthetic Biology in Drug Discovery and Development-Current Impact and Future Opportunities

The global impact of synthetic biology has been accelerating, because of the plummeting cost of DNA synthesis, advances in genetic engineering, growing understanding of genome organization, and explosion in data science. However, much of the discipline's application in the pharmaceutical industry remains enigmatic. In this review, we highlight recent examples of the impact of synthetic biology on target validation, assay development, hit finding, lead optimization, and chemical synthesis, through to the development of cellular therapeutics. We also highlight the availability of tools and technologies driving the discipline. Synthetic biology is certainly impacting all stages of drug discovery and development, and the recognition of the discipline's contribution can further enhance the opportunities for the drug discovery and development value chain.

Automated design of synthetic microbial communities

Microbial species rarely exist in isolation. In naturally occurring microbial systems there is strong evidence for a positive relationship between species diversity and productivity of communities. The pervasiveness of these communities in nature highlights possible advantages for genetically engineered strains to exist in cocultures as well. Building synthetic microbial communities allows us to create distributed systems that mitigate issues often found in engineering a monoculture, especially as functional complexity increases. Here, we demonstrate a methodology for designing robust synthetic communities that include competition for nutrients, and use quorum sensing to control amensal bacteriocin interactions in a chemostat environment. We computationally explore all two- and three- strain systems, using Bayesian methods to perform model selection, and identify the most robust candidates for producing stable steady state communities. Our findings highlight important interaction motifs that provide stability, and identify requirements for selecting genetic parts and further tuning the community composition.

Predictive design of sigma factor-specific promoters

To engineer synthetic gene circuits, molecular building blocks are developed which can modulate gene expression without interference, mutually or with the host's cell machinery. As the complexity of gene circuits increases, automated design tools and tailored building blocks to ensure perfect tuning of all components in the network are required. Despite the efforts to develop prediction tools that allow forward engineering of promoter transcription initiation frequency (TIF), such a tool is still lacking. Here, we use promoter libraries of E. coli sigma factor 70 (σ70)- and B. subtilis σB-, σF- and σW-dependent promoters to construct prediction models, capable of both predicting promoter TIF and orthogonality of the σ-specific promoters. This is achieved by training a convolutional neural network with high-throughput DNA sequencing data from fluorescence-activated cell sorted promoter libraries. This model functions as the base of the online promoter design tool (ProD), providing tailored promoters for tailored genetic systems.

Gene networks that compensate for crosstalk with crosstalk

Crosstalk is a major challenge to engineering sophisticated synthetic gene networks. A common approach is to insulate signal-transduction pathways by minimizing molecular-level crosstalk between endogenous and synthetic genetic components, but this strategy can be difficult to apply in the context of complex, natural gene networks and unknown interactions. Here, we show that synthetic gene networks can be engineered to compensate for crosstalk by integrating pathway signals, rather than by pathway insulation. We demonstrate this principle using reactive oxygen species (ROS)-responsive gene circuits in Escherichia coli that exhibit concentration-dependent crosstalk with non-cognate ROS. We quantitatively map the degree of crosstalk and design gene circuits that introduce compensatory crosstalk at the gene network level. The resulting gene network exhibits reduced crosstalk in the sensing of the two different ROS. Our results suggest that simple network motifs that compensate for pathway crosstalk can be used by biological networks to accurately interpret environmental signals.

Crosstalk between genetic circuits is a major challenge for engineering sophisticated networks. Here the authors design networks that compensate for crosstalk by integrating, not insulating, pathways.

Distributed Biological Foundries for Global Health

Historically, many industries such as manufacturing have undergone a trend away from centralized, large-scale production toward a more distributed form. Currently, this same trend is witnessed in biological manufacturing and bioprocessing, with the rise of biological foundries where one can synthesize, grow, isolate, and purify a broad range of biologics. The adoption of distributed practices for biological processing has significant implications for healthcare, diagnostics, and therapies. This essay discusses the many diverse factors that have facilitated this growth, ranging from the establishment of available biological components, or "parts," low-cost programmable hardware, and others. Currently existing examples of distributed biological foundries are also identified, separating the discussion into those that are accessible only by elite users and the more recent emerging foundries that are more accessible to the general population. Taking lessons from other fields, it is argued that this trend toward distributed biological manufacturing is inevitable, so adapting to this trend is important for the progress of creating new therapeutics, sensors, diagnostics, and reagents for biomedical applications.

Cell-Free Synthetic Biology Platform for Engineering Synthetic Biological Circuits and Systems

Synthetic biology brings engineering disciplines to create novel biological systems for biomedical and technological applications. The substantial growth of the synthetic biology field in the past decade is poised to transform biotechnology and medicine. To streamline design processes and facilitate debugging of complex synthetic circuits, cell-free synthetic biology approaches has reached broad research communities both in academia and industry. By recapitulating gene expression systems in vitro, cell-free expression systems offer flexibility to explore beyond the confines of living cells and allow networking of synthetic and natural systems. Here, we review the capabilities of the current cell-free platforms, focusing on nucleic acid-based molecular programs and circuit construction. We survey the recent developments including cell-free transcription-translation platforms, DNA nanostructures and circuits, and novel classes of riboregulators. The links to mathematical models and the prospects of cell-free synthetic biology platforms will also be discussed.

Component Characterization in a Growth-Dependent Physiological Context: Optimal Experimental Design

Synthetic biology design challenges have driven the use of mathematical models to characterize genetic components and to explore complex design spaces. Traditional approaches to characterization have largely ignored the effect of strain and growth conditions on the dynamics of synthetic genetic circuits, and have thus confounded intrinsic features of the circuit components with cell-level context effects. We present a model that distinguishes an activated gene’s intrinsic kinetics from its physiological context. We then demonstrate an optimal experimental design approach to identify dynamic induction experiments for efficient estimation of the component’s intrinsic parameters. Maximally informative experiments are chosen by formulating the design as an optimal control problem; direct multiple-shooting is used to identify the optimum. Our numerical results suggest that the intrinsic parameters of a genetic component can be more accurately estimated using optimal experimental designs, and that the choice of growth rates, sampling schedule, and input profile each play an important role. The proposed approach to coupled component–host modelling can support gene circuit design across a range of physiological conditions.

Scaling Computation and Memory in Living Cells

The semiconductor revolution that began in the 20th century has transformed society. Key to this revolution has been the integrated circuit, which enabled exponential scaling of computing devices using silicon-based transistors over many decades. Analogously, decreasing costs in DNA sequencing and synthesis, along with the development of robust genetic circuits, are enabling a "biocomputing revolution". First-generation gene circuits largely relied on assembling various transcriptional regulatory elements to execute digital and analog computing functions in living cells. Basic design rules and computational tools have since been derived so that such circuits can be scaled in order to implement complex computations. In the past five years, great strides have been made in expanding the biological programming toolkit to include recombinase- and CRISPR-based gene circuits that execute complex cellular logic and memory. Recent advances have enabled increasingly dense computing and memory circuits to function in living cells while expanding the application of these circuits from bacteria to eukaryotes, including human cells, for a wide range of uses.

Standardization in synthetic biology: an engineering discipline coming of age

BACKGROUND

Leaping DNA read-and-write technologies, and extensive automation and miniaturization are radically transforming the field of biological experimentation by providing the tools that enable the cost-effective high-throughput required to address the enormous complexity of biological systems. However, standardization of the synthetic biology workflow has not kept abreast with dwindling technical and resource constraints, leading, for example, to the collection of multi-level and multi-omics large data sets that end up disconnected or remain under- or even unexploited.

PURPOSE

In this contribution, we critically evaluate the various efforts, and the (limited) success thereof, in order to introduce standards for defining, designing, assembling, characterizing, and sharing synthetic biology parts. The causes for this success or the lack thereof, as well as possible solutions to overcome these, are discussed.

CONCLUSION

Akin to other engineering disciplines, extensive standardization will undoubtedly speed-up and reduce the cost of bioprocess development. In this respect, further implementation of synthetic biology standards will be crucial for the field in order to redeem its promise, i.e. to enable predictable forward engineering.

Automated Design Framework for Synthetic Biology Exploiting Pareto Optimality

In this work we consider Pareto optimality for automated design in synthetic biology. We present a generalized framework based on a mixed-integer dynamic optimization formulation that, given design specifications, allows the computation of Pareto optimal sets of designs, that is, the set of best trade-offs for the metrics of interest. We show how this framework can be used for (i) forward design, that is, finding the Pareto optimal set of synthetic designs for implementation, and (ii) reverse design, that is, analyzing and inferring motifs and/or design principles of gene regulatory networks from the Pareto set of optimal circuits. Finally, we illustrate the capabilities and performance of this framework considering four case studies. In the first problem we consider the forward design of an oscillator. In the remaining problems, we illustrate how to apply the reverse design approach to find motifs for stripe formation, rapid adaption, and fold-change detection, respectively.

Design Automation in Synthetic Biology

Design automation refers to a category of software tools for designing systems that work together in a workflow for designing, building, testing, and analyzing systems with a target behavior. In synthetic biology, these tools are called bio-design automation (BDA) tools. In this review, we discuss the BDA tools areas-specify, design, build, test, and learn-and introduce the existing software tools designed to solve problems in these areas. We then detail the functionality of some of these tools and show how they can be used together to create the desired behavior of two types of modern synthetic genetic regulatory networks.

Large-scale design of robust genetic circuits with multiple inputs and outputs for mammalian cells

Genetic circuits engineered for mammalian cells often require extensive fine-tuning to perform their intended functions. To overcome this problem, we present a generalizable biocomputing platform that can engineer genetic circuits which function in human cells with minimal optimization. We used our Boolean Logic and Arithmetic through DNA Excision (BLADE) platform to build more than 100 multi-input-multi-output circuits. We devised a quantitative metric to evaluate the performance of the circuits in human embryonic kidney and Jurkat T cells. Of 113 circuits analysed, 109 functioned (96.5%) with the correct specified behavior without any optimization. We used our platform to build a three-input, two-output Full Adder and six-input, one-output Boolean Logic Look Up Table. We also used BLADE to design circuits with temporal small molecule-mediated inducible control and circuits that incorporate CRISPR/Cas9 to regulate endogenous mammalian genes.

SYNBADm: a tool for optimization-based automated design of synthetic gene circuits

MOTIVATION

The design of de novo circuits with predefined performance specifications is a challenging problem in Synthetic Biology. Computational models and tools have proved to be crucial for a successful wet lab implementation. Natural gene circuits are complex, subject to evolutionary tradeoffs and playing multiple roles. However, most synthetic designs implemented to date are simple and perform a single task. As the field progresses, advanced computational tools are needed in order to handle greater levels of circuit complexity in a more flexible way and considering multiple design criteria.

RESULTS

This works presents SYNBADm (SYNthetic Biology Automated optimal Design in Matlab), a software toolbox for the automatic optimal design of gene circuits with targeted functions from libraries of components. This tool makes use of global optimization to simultaneously search the space of structures and kinetic parameters. SYNBADm can efficiently handle high levels of circuit complexity and can consider multiple design criteria through multiobjective optimization. Further, it provides flexible design capabilities, i.e. the user can define the modeling framework, library of components and target performance function(s).

AVAILABILITY AND IMPLEMENTATION

SYNBADm runs under the popular MATLAB computational environment, and is available under GPLv3 license at https://sites.google.com/site/synbadm CONTACT: ireneotero@iim.csic.es or julio@iim.csic.es.

Genetic circuit design automation

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.

Harnessing QbD, Programming Languages, and Automation for Reproducible Biology

Building robust manufacturing processes from biological components is a task that is highly complex and requires sophisticated tools to describe processes, inputs, and measurements and administrate management of knowledge, data, and materials. We argue that for bioengineering to fully access biological potential, it will require application of statistically designed experiments to derive detailed empirical models of underlying systems. This requires execution of large-scale structured experimentation for which laboratory automation is necessary. This requires development of expressive, high-level languages that allow reusability of protocols, characterization of their reliability, and a change in focus from implementation details to functional properties. We review recent developments in these areas and identify what we believe is an exciting trend that promises to revolutionize biotechnology.

Putting RNA to work: Translating RNA fundamentals into biotechnological engineering practice

Synthetic biology, in close concert with systems biology, is revolutionizing the field of metabolic engineering by providing novel tools and technologies to rationally, in a standardized way, reroute metabolism with a view to optimally converting renewable resources into a broad range of bio-products, bio-materials and bio-energy. Increasingly, these novel synthetic biology tools are exploiting the extensive programmable nature of RNA, vis-à-vis DNA- and protein-based devices, to rationally design standardized, composable, and orthogonal parts, which can be scaled and tuned promptly and at will. This review gives an extensive overview of the recently developed parts and tools for i) modulating gene expression ii) building genetic circuits iii) detecting molecules, iv) reporting cellular processes and v) building RNA nanostructures. These parts and tools are becoming necessary armamentarium for contemporary metabolic engineering. Furthermore, the design criteria, technological challenges, and recent metabolic engineering success stories of the use of RNA devices are highlighted. Finally, the future trends in transforming metabolism through RNA engineering are critically evaluated and summarized.

Fast and Accurate Circuit Design Automation through Hierarchical Model Switching

In computer-aided biological design, the trifecta of characterized part libraries, accurate models and optimal design parameters is crucial for producing reliable designs. As the number of parts and model complexity increase, however, it becomes exponentially more difficult for any optimization method to search the solution space, hence creating a trade-off that hampers efficient design. To address this issue, we present a hierarchical computer-aided design architecture that uses a two-step approach for biological design. First, a simple model of low computational complexity is used to predict circuit behavior and assess candidate circuit branches through branch-and-bound methods. Then, a complex, nonlinear circuit model is used for a fine-grained search of the reduced solution space, thus achieving more accurate results. Evaluation with a benchmark of 11 circuits and a library of 102 experimental designs with known characterization parameters demonstrates a speed-up of 3 orders of magnitude when compared to other design methods that provide optimality guarantees.

Forging patterns and making waves from biology to geology: a commentary on Turing (1952) 'The chemical basis of morphogenesis'

Alan Turing was neither a biologist nor a chemist, and yet the paper he published in 1952, 'The chemical basis of morphogenesis', on the spontaneous formation of patterns in systems undergoing reaction and diffusion of their ingredients has had a substantial impact on both fields, as well as in other areas as disparate as geomorphology and criminology. Motivated by the question of how a spherical embryo becomes a decidedly non-spherical organism such as a human being, Turing devised a mathematical model that explained how random fluctuations can drive the emergence of pattern and structure from initial uniformity. The spontaneous appearance of pattern and form in a system far away from its equilibrium state occurs in many types of natural process, and in some artificial ones too. It is often driven by very general mechanisms, of which Turing's model supplies one of the most versatile. For that reason, these patterns show striking similarities in systems that seem superficially to share nothing in common, such as the stripes of sand ripples and of pigmentation on a zebra skin. New examples of 'Turing patterns' in biology and beyond are still being discovered today. This commentary was written to celebrate the 350th anniversary of the journal Philosophical Transactions of the Royal Society.

Programmed evolution for optimization of orthogonal metabolic output in bacteria

Current use of microbes for metabolic engineering suffers from loss of metabolic output due to natural selection. Rather than combat the evolution of bacterial populations, we chose to embrace what makes biological engineering unique among engineering fields - evolving materials. We harnessed bacteria to compute solutions to the biological problem of metabolic pathway optimization. Our approach is called Programmed Evolution to capture two concepts. First, a population of cells is programmed with DNA code to enable it to compute solutions to a chosen optimization problem. As analog computers, bacteria process known and unknown inputs and direct the output of their biochemical hardware. Second, the system employs the evolution of bacteria toward an optimal metabolic solution by imposing fitness defined by metabolic output. The current study is a proof-of-concept for Programmed Evolution applied to the optimization of a metabolic pathway for the conversion of caffeine to theophylline in E. coli. Introduced genotype variations included strength of the promoter and ribosome binding site, plasmid copy number, and chaperone proteins. We constructed 24 strains using all combinations of the genetic variables. We used a theophylline riboswitch and a tetracycline resistance gene to link theophylline production to fitness. After subjecting the mixed population to selection, we measured a change in the distribution of genotypes in the population and an increased conversion of caffeine to theophylline among the most fit strains, demonstrating Programmed Evolution. Programmed Evolution inverts the standard paradigm in metabolic engineering by harnessing evolution instead of fighting it. Our modular system enables researchers to program bacteria and use evolution to determine the combination of genetic control elements that optimizes catabolic or anabolic output and to maintain it in a population of cells. Programmed Evolution could be used for applications in energy, pharmaceuticals, chemical commodities, biomining, and bioremediation.

Synthetic Biology: A Bridge between Artificial and Natural Cells

Artificial cells are simple cell-like entities that possess certain properties of natural cells. In general, artificial cells are constructed using three parts: (1) biological membranes that serve as protective barriers, while allowing communication between the cells and the environment; (2) transcription and translation machinery that synthesize proteins based on genetic sequences; and (3) genetic modules that control the dynamics of the whole cell. Artificial cells are minimal and well-defined systems that can be more easily engineered and controlled when compared to natural cells. Artificial cells can be used as biomimetic systems to study and understand natural dynamics of cells with minimal interference from cellular complexity. However, there remain significant gaps between artificial and natural cells. How much information can we encode into artificial cells? What is the minimal number of factors that are necessary to achieve robust functioning of artificial cells? Can artificial cells communicate with their environments efficiently? Can artificial cells replicate, divide or even evolve? Here, we review synthetic biological methods that could shrink the gaps between artificial and natural cells. The closure of these gaps will lead to advancement in synthetic biology, cellular biology and biomedical applications.

Developments in the tools and methodologies of synthetic biology

Synthetic biology is principally concerned with the rational design and engineering of biologically based parts, devices, or systems. However, biological systems are generally complex and unpredictable, and are therefore, intrinsically difficult to engineer. In order to address these fundamental challenges, synthetic biology is aiming to unify a “body of knowledge” from several foundational scientific fields, within the context of a set of engineering principles. This shift in perspective is enabling synthetic biologists to address complexity, such that robust biological systems can be designed, assembled, and tested as part of a biological design cycle. The design cycle takes a forward-design approach in which a biological system is specified, modeled, analyzed, assembled, and its functionality tested. At each stage of the design cycle, an expanding repertoire of tools is being developed. In this review, we highlight several of these tools in terms of their applications and benefits to the synthetic biology community.

Parts & pools: a framework for modular design of synthetic gene circuits

Published in 2008, Parts & Pools represents one of the first attempts to conceptualize the modular design of bacterial synthetic gene circuits with Standard Biological Parts (DNA segments) and Pools of molecules referred to as common signal carriers (e.g., RNA polymerases and ribosomes). The original framework for modeling bacterial components and designing prokaryotic circuits evolved over the last years and brought, first, to the development of an algorithm for the automatic design of Boolean gene circuits. This is a remarkable achievement since gene digital circuits have a broad range of applications that goes from biosensors for health and environment care to computational devices. More recently, Parts & Pools was enabled to give a proper formal description of eukaryotic biological circuit components. This was possible by employing a rule-based modeling approach, a technique that permits a faithful calculation of all the species and reactions involved in complex systems such as eukaryotic cells and compartments. In this way, Parts & Pools is currently suitable for the visual and modular design of synthetic gene circuits in yeast and mammalian cells too.

Principles of genetic circuit design

Cells navigate environments, communicate and build complex patterns by initiating gene expression in response to specific signals. Engineers seek to harness this capability to program cells to perform tasks or create chemicals and materials that match the complexity seen in nature. This Review describes new tools that aid the construction of genetic circuits. 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 circuits having to operate 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.

Systematic Approach to Computational Design of Gene Regulatory Networks with Information Processing Capabilities

We present several measures that can be used in de novo computational design of biological systems with information processing capabilities. Their main purpose is to objectively evaluate the behavior and identify the biological information processing structures with the best dynamical properties. They can be used to define constraints that allow one to simplify the design of more complex biological systems. These measures can be applied to existent computational design approaches in synthetic biology, i.e., rational and automatic design approaches. We demonstrate their use on a) the computational models of several basic information processing structures implemented with gene regulatory networks and b) on a modular design of a synchronous toggle switch.