-
biology methods, and strain development techniques to engineer robust, inducible yeast strains for efficient biomanufacturing. Expected impacts will be contributing to fundamental understanding of cell
-
of synthetic toggle circuits, guided by time-course, single-cell resolution data. These models will then be integrated with automated biocircuit design tools, synthetic biology methods, and strain development
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions