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
ECEN 4003 - Special Topics
Primary Instructor
-
Fall 2021
Credit and subject matter to be arranged. May be repeated up to 12 total credit hours. Department enforced prerequisite: varies
