Area of research
Molecular Biology · Computational Theory and Mathematics
Research interest
Research interests include Gene Regulatory Network Analysis, Microbial Metabolic Engineering and Bioproduction, Formal Methods in Verification, and Embedded Systems Design Techniques.
Specifications of standards in systems and synthetic biology: status, developments, and tools in 2024
Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022
Genetic circuit design automation with Cello 2.0
Synthetic biology open language visual (SBOL visual) version 3.0
SBOLCanvas: A Visual Editor for Genetic Designs
Synthetic biology open language visual (SBOL Visual) version 2.3
SBML Level 3: an extensible format for the exchange and reuse of biological models
The Synthetic Biology Open Language (SBOL) Version 3: Simplified Data Exchange for Bioengineering
The long journey towards standards for engineering biosystems
The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE)
Synthetic biology open language (SBOL) version 3.0.0
Genetic Circuit Dynamics: Hazard and Glitch Analysis
Specifications of standards in systems and synthetic biology: status and developments in 2020
Synthetic biology open language visual (SBOL visual) version 2.2
Systems Biology Markup Language (SBML) Level 3 Package: Distributions, Version 1, Release 1
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2
Communicating Structure and Function in Synthetic Biology Diagrams
Synthetic Biology Open Language (SBOL) Version 2.3
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2019
SynBioHub: A Standards-Enabled Design Repository for Synthetic Biology
<scp>i</scp>B<scp>io</scp>S<scp>im</scp> 3: A Tool for Model-Based Genetic Circuit Design
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core
A Computational Workflow for the Automated Generation of Models of Genetic Designs
Synthetic Biology Open Language (SBOL) Version 2.2.0
A standard-enabled workflow for synthetic biology
SBOLDesigner 2: An Intuitive Tool for Structural Genetic Design
Sharing Structure and Function in Biological Design with SBOL 2.0
EAGER: Accelerating Synthetic Biology Discovery through Integrated Curation
Collaborative Research: Accelerating Synthetic Biology Discovery & Exploration through Knowledge Integration
Collaborative Research: Accelerating Synthetic Biology Discovery & Exploration through Knowledge Integration
NSF Student Travel Grant for 2018 Computational Modeling in Biology Network (COMBINE) Forum
NSF Student Travel Grant for 2018 Hackathons on Resources for Modeling in Biology (HARMONY); Workshop-June 18-22, 2018; Oxford UK
EAGER: A Standard Enabled Workflow for Synthetic Biology
Synthetic Biology Open Language (SBOL) Workshop to be held in Boston, MA in March 2016
Conference: Participant Support for COMBINE 2015 to be held in Salt Lake City, UT on October 12-16, 2015
Collaborative: ABI Development: Synthetic Biology Open Language Resource
Student Travel Support for Harmony 2015
AF: SHF: BCSP: Small: Genetic Design Automation
SHF: Small: Collaborative Research: Integrated Verification, Built-in Self-test, and Tuning for Digitally-Intensive Analog Systems
CPS: Small: Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems
CIF:SMALL:COLLABORATIVE: Soft-Logic Modeling and Design for Synthetic Biology
Designing Reliable Systems Using Unreliable Components
QSB: A Principled Mapping of Regulatory Networks to Asynchronous Circuit Models for Stochastic Analysis
U.S.-Japan Cooperative Science: Synthesis and Verification of High Performance Timed Circuits and Systems
Design Methodology for Mixed Analog/Asynchronous VLSI Implementations of Communications Systems
Design Methods and Tools for Mixed-Timed Systems