Genetic Design Automation

Genetic Design Automation

Active research area

Supported by the National Science Foundation (NSF QSB award 0331270, NSF CCF award 0737644, NSF CCF award 0916042, NSF CCF award 1218095, NSF CCF award 1748200), Professor Myers and his colleagues have been developing methods for the modeling, analysis, and design of genetic circuits. In these projects, Professor Myers and his colleagues developed, among other things, a method to learn genetic circuit models from time series experimental data, efficient abstraction-based stochastic analysis methods, and methods for genetic circuit design. This research has been implemented within the freely available software tools SBOLDesigner, iBioSim, and SynBioHub. Under NSF DBI award 1356041, Professor Myers his colleagues at the University of Washington (Professors Herbert Sauro and John Gennari) are developing infrastructure to support the synthetic biology open language (SBOL).

Contributors

Avatar

Chris Myers

Department Chair / Professor

Avatar

Gonzalo Vidal

Postdoctoral Researcher

Avatar

Chunxiao Liao

Graduate Researcher, Ph.D.

Avatar

Daniel Fang

Graduate Researcher, Ph.D.

Avatar

Duncan Britt

Undergraduate Researcher

Avatar

Ryan Greer

Undergraduate Researcher

Avatar

Bianca Gautam

Undergraduate Researcher

Avatar

Derick Sayavong

Undergraduate Researcher

Avatar

Kerem Gurkan

Undergraduate Researcher

Avatar

Peter Hindes

Undergraduate Researcher

Avatar

William Dravenstott

Undergraduate Researcher

Avatar

Zane Perry

Undergraduate Researcher

Avatar

Pedro Fontanarrosa

Postdoctoral Researcher

Avatar

Jet Mante

Postdoctoral Researcher

Avatar

Lukas Buecherl

Graduate Researcher, Ph.D.

Avatar

Nicholas Roehner

Raytheon BBN Technologies, Researcher

Avatar

Tramy Nguyen

Raytheon BBN Technologies, Research Scientist/Software Engineer

Avatar

Zhen Zhang

Utah State University, Assistant Professor

Avatar

Leandro Watanabe

Google, Software Engineer

Avatar

Curtis Madsen

Sandia National Laboratories, R&D S&E, Computer Science

Avatar

Hiroyuki Kuwahara

King Abdullah University of Science and Technology, Computational Bioscience Research Center Research Scientist

Avatar

Nathan Barker

Southern Utah University, Department Chair of Computer Science & Information Systems

Avatar

Logan Terry

Graduate Researcher, M.S.

Avatar

Michael Zhang

Google, Engineer

Avatar

Meher Samineni

REI, Software Engineer

Avatar

Nam-phuong Nguyen

Boundless Bio INC, Principal Scientist I

Avatar

James Scholz

Undergraduate Researcher

Avatar

Zach Zundel

Facebook, Product Engineer

Avatar

Eric Yu

Undergraduate Researcher

Avatar

Payton Thomas

Undergraduate Researcher

Avatar

Thomas Stoughton

Undergraduate Researcher

Avatar

Samuel Bridge

Microsoft, Software Engineer

Avatar

Kevin Jones

Lockheed Martin, Senior Cyber Applied Research Scientist

Avatar

Tyler Patterson

Ever Accountable, President

Avatar

Alex Elbel

Undergraduate Researcher

Avatar

Ben Hatch

Undergraduate Researcher

Avatar

Jason Stevens

Amazon, Business Intelligence Engineer

Avatar

Julian Abam

Undergraduate Researcher

Avatar

Oliver Flatt

University of Utah, Undergraduate Researcher

Avatar

Suhyun Bae

Undergraduate Researcher

Avatar

Linhao Meng

Zhejiang University

Avatar

Isabel Pötzsch

University of Cambridge, Zoology Undergraduate

Publications

  • Introduction to the Special Issue on Computational Synthetic Biology
  • A Compositional Minimization Approach for Large Asynchronous Design Verification
  • Synthesis of Timed Circuits Based on Decomposition
  • Verification of timed circuits with failure-directed abstractions