• Contact Info
Publications in VIVO

Myers, Christopher Professor and Palmer Leadership Chair


Research Areas research areas


research overview

  • The research in my group focuses on the interdisciplinary synthetic biology work in the overlap between electrical engineering, mathematical modelling, and genetic biology. Examples of work include: the creation of genetic design automation programs similar to electronic design automation programs for circuit designs, stochastic verification of genetic models, and a repository for storing and sharing genetic constructs.


  • Synthetic biology, genetic design automation, formal verification, stochastic model checking, data standards, asynchronous circuit design


selected publications


International Activities

global connections related to teaching and scholarly work (in recent years)

Other Profiles