| NSF Org: |
CCF Division of Computing and Communication Foundations |
| Recipient: |
|
| Initial Amendment Date: | July 26, 2019 |
| Latest Amendment Date: | April 14, 2022 |
| Award Number: | 1900716 |
| Award Instrument: | Continuing Grant |
| Program Manager: |
Stephanie Gage
sgage@nsf.gov (703)292-4748 CCF Division of Computing and Communication Foundations CSE Directorate for Computer and Information Science and Engineering |
| Start Date: | August 1, 2019 |
| End Date: | July 31, 2025 (Estimated) |
| Total Intended Award Amount: | $800,000.00 |
| Total Awarded Amount to Date: | $824,000.00 |
| Funds Obligated to Date: |
FY 2021 = $336,638.00 FY 2022 = $24,000.00 |
| History of Investigator: |
|
| Recipient Sponsored Research Office: |
1350 BEARDSHEAR HALL AMES IA US 50011-2103 (515)294-5225 |
| Sponsor Congressional District: |
|
| Primary Place of Performance: |
226 Atanasoff Hall, ISU Ames IA US 50011-1090 |
| Primary Place of
Performance Congressional District: |
|
| Unique Entity Identifier (UEI): |
|
| Parent UEI: |
|
| NSF Program(s): |
FET-Fndtns of Emerging Tech, Software & Hardware Foundation |
| Primary Program Source: |
01001920DB NSF RESEARCH & RELATED ACTIVIT 01002122DB NSF RESEARCH & RELATED ACTIVIT 01002223DB NSF RESEARCH & RELATED ACTIVIT |
| Program Reference Code(s): |
|
| Program Element Code(s): |
|
| Award Agency Code: | 4900 |
| Fund Agency Code: | 4900 |
| Assistance Listing Number(s): | 47.070 |
ABSTRACT
Molecular programming is an emerging nanotechnology that uses the information-processing capabilities of DNA and other biomolecules to create and control very small devices. Scientists in this area are developing more complex and sophisticated devices every year. Molecular programming will soon move beyond basic science to promising real-world applications ranging from targeted drug-delivery in humans to smart materials that are compatible with living tissue. This project is developing new methods for designing dependability into systems of molecular programs and reasoning about their behavior. This research will make molecular programming more productive, dependable, and safe. The investigators are training a diverse and successful group of researchers and educators in molecular programming, and the project will develop methods for constructing assurance cases that future applications will need in order to be certified for real-world use.
The design and verification of molecular programs face three major challenges. These are the complexity and randomness of the programs themselves, the complexity and randomness of the environments in which they will operate, and the safety-critical nature of many of their envisioned applications. This project is addressing these challenges by building complex molecular programs as systems of simpler molecular programs that use biochemical signals to communicate with one another and by adapting dependability methods from software engineering to the design and verification of these systems. Most of the project's fundamental science lies in this adaption to a chemical world that is far more capricious than the highly engineered silicon platforms on which traditional software operates.
This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH
Note:
When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external
site maintained by the publisher. Some full text articles may not yet be available without a
charge during the embargo (administrative interval).
Some links on this page may take you to non-federal websites. Their policies may differ from
this site.
Please report errors in award information by writing to: awardsearch@nsf.gov.
