I am currently a postdoc at Boston University in the Electrical & Computer Engineering Department working in both the CIDAR and HyNeSs research groups under Professor Douglas Densmore and Professor Calin Belta, respectively.

Before coming to Boston, I was a research associate at Newcastle University in the School of Computing Science working in the Interdisciplinary Computing and Complex BioSystems (ICOS) research group under Professor Anil Wipat and Dr. Paolo Zuliani. I worked on the development of the SBOL Stack, a Sesame Resource Description Framework (RDF) database specifically designed for the storing and publishing of Synthetic Biology Open Language (SBOL) data, and BioPSy, a tool that performs parameter set synthesis on biological models specified using the Systems Biology Markup Language (SBML) and corresponding time series data.

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.