FMitF: Track II: Advancing Probabilistic Verification Tool Development for Synthetic Biolo — NSF Award to Utah State University (U
The field of synthetic biology integrates fundamental engineering principles to design biological systems at the genetic level. These systems have beneficial applications in precision medicine, biosensors, and microbial production. Innovations from this field benefit society by improving treatments for cancer and infec
| Award title | FMitF: Track II: Advancing Probabilistic Verification Tool Development for Synthetic Biolo |
|---|---|
| Award ID | 2422206 |
| Awardee | Utah State University |
| City | LOGAN |
| State | UT |
| Amount obligated | $149,999 |
| Principal investigator | Zhen Zhang |
| Program | FMitF: Formal Methods in the F |
| Start date | 08/15/2024 |
| Abstract | The field of synthetic biology integrates fundamental engineering principles to design biological systems at the genetic level. These systems have beneficial applications in precision medicine, biosensors, and microbial production. Innovations from this field benefit society by improving treatments for cancer and infectious diseases, providing better access to life-saving drugs, and enhancing crop yields. A challenge to the design of reliable synthetic biological systems is the noisy environment |
| Source | NSF Awards |
$799/mo
Try NSFGrants →