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