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
A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior
Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress
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
Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools
Center for Harnessing Microbiota from Military Environments (CHARMME)
Layered T&E for Safety-Critical Autonomous Systems
Upscaling Engineering of Synthetic Biomachines
Control of Functional Bioenabled Materials using Synthetic Cells
Design and Implementation of Multi-Component Synthetic Cells
Developer Cell: A modular, extensible chassis for building synthetic cells