I received my PhD from the University of Utah’s School of Computing in August 2013 under the supervision of Professor Chris Myers. Here, my dissertation, Stochastic Analysis of Synthetic Genetic Circuits, focused on utilizing stochastic model checking and simulation to perform design space exploration of synthetic genetic circuits. Many of the contributions of my dissertation are implemented in iBioSim, a genetic design automation (GDA) tool for modeling, analysis, and design of genetic circuits.