Funding

FET: Medium: Design for Dependability in Systems of Molecular Programs
National Science Foundation, 2019-2024
CPS: Safety-Aware Cyber-Molecular Systems
National Science Foundation, 2015-2020
INSPIRE: Robust Molecular Programming: Advances in the Design and Verification of Reliable Self-Assembling Nanosystems
National Science Foundation, 2012-2017
EAGER: Collaborative Research: Modeling and Analysis of Molecular Programming and Nanoscale Self-Assembly
National Science Foundation, 2011-2013

Much of the material on these web pages is based on research supported by National Science Foundation Grants 1143830, 1247051, 1545028, and 1900716. Any opinions, findings, conclusions, or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.