skip to main content


Title: Hardware, Software, and Wetware Codesign Environment for Synthetic Biology
Synthetic biology is the process of forward engineering living systems. These systems can be used to produce biobased materials, agriculture, medicine, and energy. One approach to designing these systems is to employ techniques from the design of embedded electronics. These techniques include abstraction, standards, modularity, automated design, and formal semantic models of computation. Together, these elements form the foundation of “biodesign automation,” where software, robotics, and microfluidic devices combine to create exciting biological systems of the future. This paper describes a “hardware, software, wetware” codesign vision where software tools can be made to act as “genetic compilers” that transform high-level specifications into engineered “genetic circuits” (wetware). This is followed by a process where automation equipment, well-defined experimental workflows, and microfluidic devices are explicitly designed to house, execute, and test these circuits (hardware). These systems can be used as either massively parallel experimental platforms or distributed bioremediation and biosensing devices. Next, scheduling and control algorithms (software) manage these systems’ actual execution and data analysis tasks. A distinguishing feature of this approach is how all three of these aspects (hardware, software, and wetware) may be derived from the same basic specification in parallel and generated to fulfill specific cost, performance, and structural requirements.  more » « less
Award ID(s):
2211040
NSF-PAR ID:
10410670
Author(s) / Creator(s):
;
Date Published:
Journal Name:
BioDesign Research
Volume:
2022
ISSN:
2693-1257
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Starting in the early 2000s, sophisticated technologies have been developed for the rational construction of synthetic genetic networks that implement specified logical functionalities. Despite impressive progress, however, the scaling necessary in order to achieve greater computational power has been hampered by many constraints, including repressor toxicity and the lack of large sets of mutually orthogonal repressors. As a consequence, a typical circuit contains no more than roughly seven repressor-based gates per cell. A possible way around this scalability problem is to distribute the computation among multiple cell types, each of which implements a small subcircuit, which communicate among themselves using diffusible small molecules (DSMs). Examples of DSMs are those employed by quorum sensing systems in bacteria. This paper focuses on systematic ways to implement this distributed approach, in the context of the evaluation of arbitrary Boolean functions. The unique characteristics of genetic circuits and the properties of DSMs require the development of new Boolean synthesis methods, distinct from those classically used in electronic circuit design. In this work, we propose a fast algorithm to synthesize distributed realizations for any Boolean function, under constraints on the number of gates per cell and the number of orthogonal DSMs. The method is based on an exact synthesis algorithm to find the minimal circuit per cell, which in turn allows us to build an extensive database of Boolean functions up to a given number of inputs. For concreteness, we will specifically focus on circuits of up to 4 inputs, which might represent, for example, two chemical inducers and two light inputs at different frequencies. Our method shows that, with a constraint of no more than seven gates per cell, the use of a single DSM increases the total number of realizable circuits by at least 7.58-fold compared to centralized computation. Moreover, when allowing two DSM’s, one can realize 99.995% of all possible 4-input Boolean functions, still with at most 7 gates per cell. The methodology introduced here can be readily adapted to complement recent genetic circuit design automation software. A toolbox that uses the proposed algorithm was created and made available at https://github. com/sontaglab/DBC/. 
    more » « less
  2. null (Ed.)
    The increased concern regarding emerging pathogens and antibiotic resistance has drawn interest in the development of rapid and robust microfluidic techniques to analyze microorganisms. The novel parameter known as the electrokinetic equilibrium condition (EEEC) was presented in recent studies, providing an approach to analyze microparticles in microchannels employing unique electrokinetic (EK) signatures. While the EEEC shows great promise, current estimation approaches can be time-consuming or heavily user-dependent for accurate values. The present contribution aims to analyze existing approaches for estimating this parameter and modify the process into an accurate yet simple technique for estimating the EK behavior of microorganisms in insulator-based microfluidic devices. The technique presented here yields the parameter called the empirical electrokinetic equilibrium condition (eEEEC) which works well as a value for initial approximations of trapping conditions in insulator-based EK (iEK) microfluidic systems. A total of six types of microorganisms were analyzed in this study (three bacteria and three bacteriophages). The proposed approach estimated eEEEC values employing images of trapped microorganisms, yielding high reproducibility (SD 5.0–8.8%). Furthermore, stable trapping voltages (sTVs) were estimated from eEEEC values for distinct channel designs to test that this parameter is system-independent and good agreement was obtained when comparing estimated sTVs vs. experimental values (SD 0.3–19.6%). The encouraging results from this work were used to generate an EK library of data, available on our laboratory website. The data in this library can be used to design tailored iEK microfluidic devices for the analysis of microorganisms. 
    more » « less
  3. Microfluidic cell sorters have shown great potential to revolutionize the current technique of enriching rare cells. In the past decades, different microfluidic cell sorters have been developed by researchers for separating circulating tumor cells, T-cells, and other biological markers from blood samples. However, it typically takes months or even years to design these microfluidic cell sorters by hand. Thus, researchers tend to use computer simulation (usually finite element analysis) to verify their designs before fabrication and experimental testing. Despite this, conducting precision finite element analysis of microfluidic devices is computationally expensive and labor-intensive. To address this issue, we recently presented a microfluidic simulation method that can simulate the behavior of fluids and particles in some typical microfluidic chips instantaneously. Our method decomposes the chip into channels and intersections. The behavior of fluid in each channel is determined by leveraging analogies with electronic circuits, and the behavior of fluid and particles in each intersection is determined by querying a database containing 92,934 pre-simulated channel intersections. While this approach successfully predicts the behavior of complex microfluidic chips in a fraction of the time required by existing techniques, we nonetheless identified three major limitations with this method: (1) the library of pre-simulated channel intersections is unnecessarily large (only 2,072 of 92,934 were used); (2) the library contains only cross-shaped intersections (and no other intersection geometries); and (3) the range of fluid flow rates in the library is limited to 0 to 2 cm/s. To address these deficiencies, in this work we present an improved method for instantaneously simulating the trajectories of particles in microfluidic chips. Firstly, inspired by dynamic programming, our new method optimizes the generation of pre-simulated intersection units and avoids generating unnecessary simulations. Secondly, we constructed a cloud database (http://cloud.microfluidics.cc) to share our pre-simulated results and to let users become contributors and upload their simulation results into the cloud database as a benefit to the whole microfluidic simulation community. Lastly, we investigated the impact of different channel angles and different fluid flow rates on predicting the trajectories of particles. We found a wide range of device geometries and flow rates over which our existing simulation results can be extended without having to perform additional simulations. Our method should accelerate the simulation of particles in microfluidic chips and enable researchers to design new microfluidic cell sorter chips more efficiently. 
    more » « less
  4. The mechanical properties of the cell nucleus are increasingly recognized as critical in many biological processes. The deformability of the nucleus determines the ability of immune and cancer cells to migrate through tissues and across endothelial cell layers, and changes to the mechanical properties of the nucleus can serve as novel biomarkers in processes such as cancer progression and stem cell differentiation. However, current techniques to measure the viscoelastic nuclear mechanical properties are often time consuming, limited to probing one cell at a time, or require expensive, highly specialized equipment. Furthermore, many current assays do not measure time-dependent properties, which are characteristic of viscoelastic materials. Here, we present an easy-to-use microfluidic device that applies the well-established approach of micropipette aspiration, adapted to measure many cells in parallel. The device design allows rapid loading and purging of cells for measurements, and minimizes clogging by large particles or clusters of cells. Combined with a semi-automated image analysis pipeline, the microfluidic device approach enables significantly increased experimental throughput. We validated the experimental platform by comparing computational models of the fluid mechanics in the device with experimental measurements of fluid flow. In addition, we conducted experiments on cells lacking the nuclear envelope protein lamin A/C and wild-type controls, which have well-characterized nuclear mechanical properties. Fitting time-dependent nuclear deformation data to power law and different viscoelastic models revealed that loss of lamin A/C significantly altered the elastic and viscous properties of the nucleus, resulting in substantially increased nuclear deformability. Lastly, to demonstrate the versatility of the devices, we characterized the viscoelastic nuclear mechanical properties in a variety of cell lines and experimental model systems, including human skin fibroblasts from an individual with a mutation in the lamin gene associated with dilated cardiomyopathy, healthy control fibroblasts, induced pluripotent stem cells (iPSCs), and human tumor cells. Taken together, these experiments demonstrate the ability of the microfluidic device and automated image analysis platform to provide robust, high throughput measurements of nuclear mechanical properties, including time-dependent elastic and viscous behavior, in a broad range of applications. 
    more » « less
  5. Screening mutant libraries (MLs) of bacteria for strains with specific phenotypes is often a slow and laborious process that requires assessment of tens of thousands of individual cell colonies after plating and culturing on solid media. In this report, we develop a three-dimensional, photodegradable hydrogel interface designed to dramatically improve the throughput of ML screening by combining high-density cell culture with precision extraction and the recovery of individual, microscale colonies for follow-up genetic and phenotypic characterization. ML populations are first added to a hydrogel precursor solution consisting of polyethylene glycol (PEG) o-nitrobenzyl diacrylate and PEG-tetrathiol macromers, where they become encapsulated into 13 μm thick hydrogel layers at a density of 90 cells/mm^2, enabling parallel monitoring of 2.8 × 10^4 mutants per hydrogel. Encapsulated cells remain confined within the elastic matrix during culture, allowing one to track individual cells that grow into small, stable microcolonies (45 ± 4 μm in diameter) over the course of 72 h. Colonies with rare growth profiles can then be identified, extracted, and recovered from the hydrogel in a sequential manner and with minimal damage using a high-resolution, 365 nm patterned light source. The light pattern can be varied to release motile cells, cellular aggregates, or microcolonies encapsulated in protective PEG coatings. To access the benefits of this approach for ML screening, an Agrobacterium tumefaciens C58 transposon ML was screened for rare, resistant mutants able to grow in the presence of cell free culture media from Rhizobium rhizogenes K84, a well-known inhibitor of C58 cell growth. Subsequent genomic analysis of rare cells (9/28,000) that developed into microcolonies identified that seven of the resistant strains had mutations in the acc locus of the Ti plasmid. These observations are consistent with past research demonstrating that the disruption of this locus confers resistance to agrocin 84, an inhibitory molecule produced by K84. The high-throughput nature of the screen allows the A. tumefaciens genome (approximately 5.6 Mbps) to be screened to saturation in a single experimental trial, compared to hundreds of platings required by conventional plating approaches. As a miniaturized version of the gold-standard plating assay, this materials-based approach offers a simple, inexpensive, and highly translational screening technique that does not require microfluidic devices or complex liquid handling steps. The approach is readily adaptable to other applications that require isolation and study of rare or phenotypically pure cell populations. 
    more » « less