Completed projects# ERR9f97a6322f85674333a2b590cfc9fa0a
Model-Based Design and Qualification of Complex Systems
Network Science and Engineering: A Theory of Network Architecture
Control Design for Cyberphysical Systems Using Slow Computing
CAGEN: Critical Assessment of Genetically Engineered Networks
Biomolecular Feedback Circuits for Modular, Robust and Rapid Response
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
Programmable Molecular Technology Initiative
Model-guided Discovery and Optimization of Cell-based Sensors
ICyPhy: Industrial Cyber-Physical Systems
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
Theory-Based Engineering of Biomolecular Circuits in Living Cells
Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments
Improvement of E. coli transcription-translation (TX-TL) system
Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks
Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery
Temporal Logic Specifications for Control System Design in Automotive Systems
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
Synthesizing flight software (FSW) discrete controllers from formal specifications
Safety-Critical Autonomy and Verification for Space Missions
Genetic Circuits for Multi-Cellular Machines
Field-Programmable, Recombinase-Based Biomolecular Circuits
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping
Enabling Technologies for Cell-Silicon Interfacing
Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials
Formal Methods for V&V and T&E of Autonomous Systems
An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil
Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function
Actuation of Synthetic Cells Via Proto-Flagellar Motors
Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies
Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia
Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles
Upscaling Engineering of Synthetic Biomachines
Control of Functional Bioenabled Materials using Synthetic Cells