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
COEN 1830 - Special Topics
Primary Instructor
-
Fall 2024
Explores topics of interest in engineering. Content varies by instructor and semester. May be repeated up to 9 total credit hours.
ECEA 5934 - Engineering Genetic Circuits: Design
Primary Instructor
-
Fall 2023 / Spring 2024 / Summer 2024 / Fall 2024
Gives an introduction to the biology and biochemistry necessary to understand genetic circuits. It starts by providing an engineering viewpoint on genetic circuit design and a review of cells and their structure. The second module introduces genetic parts and the importance of standards followed by a discussion of genetic devices used within circuit design. The last two modules cover experimental techniques and construction methods and principles applied during the design process.
ECEA 5935 - Engineering Genetic Circuits: Modeling and Analysis
Primary Instructor
-
Spring 2024 / Summer 2024 / Fall 2024
Covers mathematical models and analysis methods used to describe genetic circuits in the field of synthetic biology. The first module introduces modeling methods and standards for modeling. The following three modules cover different methods for the simulation of models to predict a genetic circuit's behavior in silico. Methods covered include ordinary differential equation analysis and stochastic analysis. The course ends with an introduction to genetic circuit technology mapping, the process of assigning physical biological parts to implement the functional design specification.
ECEA 5936 - Engineering Genetic Circuits: Abstraction Methods
Primary Instructor
-
Summer 2024
Given the substantial computational requirements for simulation of even modest size genetic circuits, model abstraction is essential. To reduce the cost of simulation, this course first describes methods to simplify the original reaction-based model by applying several reaction-based abstractions. Second, this course introduces state-based (logical) abstraction methods and analysis techniques that have commonly been applied to electronic circuits.
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
ECEN 4933 - Engineering Genetic Circuits
Primary Instructor
-
Fall 2022
Presents recent research into methods and software tools for the modeling, analysis, and design of genetic circuits that are enabling the new field of synthetic biology. Teaches both biological and engineering principles in order to enable collaborations between engineers and biologists working in the field of synthetic biology. Recommended prerequisite: some familiarity with genetics, cell biology, molecular biology or biochemistry or familiarity with engineering methods for modeling, analysis and design, but students are not expected to have knowledge in both. Same as ECEN 5933.
ECEN 5933 - Engineering Genetic Circuits
Primary Instructor
-
Fall 2022
Presents recent research into methods and software tools for the modeling, analysis, and design of genetic circuits that are enabling the new field of synthetic biology. Teaches both biological and engineering principles in order to enable collaborations between engineers and biologists working in the field of synthetic biology. Recommended prerequisite: some familiarity with genetics, cell biology, molecular biology, or biochemistry or familiarity with engineering methods for modeling, analysis and design, but students are not expected to have knowledge in both. Same as ECEN 4933.
