Kate E Dray

5PUBLICATIONS
22CO-AUTHORS
Formal methods for softwareMedical molecular engineering of nucleic acids and proteinsOptimisation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (5)

|Sep 02, 2025
GCAD: a Computational Framework for Mammalian Genetic Program Computer-Aided Design.

Kathleen S Dreyer, Anh V Nguyen, Gauri G Bora

|Jul 15, 2024
Developing, characterizing and modeling CRISPR-based point-of-use pathogen diagnostics.

Jaeyoung K Jung, Kathleen S Dreyer, Kate E Dray

|Oct 23, 2023
Teaching systematic, reproducible model development using synthetic biology.

Kate E Dray, Kathleen S Dreyer, Julius B Lucks

|Mar 10, 2022
Correction to "GAMES: A Dynamic Model Development Workflow for Rigorous Characterization of Synthetic Genetic Systems".

Kate E Dray, Joseph J Muldoon, Niall M Mangan

|Jan 13, 2022
GAMES: A Dynamic Model Development Workflow for Rigorous Characterization of Synthetic Genetic Systems.

Kate E Dray, Joseph J Muldoon, Niall M Mangan

Pageof 1