• Contact Info
Publications in VIVO
 

Myers, Christopher Professor and Palmer Leadership Chair

Positions

Research Areas research areas

Research

keywords

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

Publications

selected publications

Background

International Activities

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

Other Profiles