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.
keywords
Synthetic biology, genetic design automation, formal verification, stochastic model checking, data standards, asynchronous circuit design
