diff --git a/content/authors/FLUENT/_index.md b/content/authors/FLUENT/_index.md index 61482ddb9..7a0a47ebd 100644 --- a/content/authors/FLUENT/_index.md +++ b/content/authors/FLUENT/_index.md @@ -63,3 +63,5 @@ user_groups: --- This research aims at advancing probabilistic verification techniques for the rigorous design of dependable systems in synthetic biology and nanotechnology. Major goals of the project include the following. First, scale up stochastic model checking with efficient and accurate state space truncation techniques. Secondly, investigate practical stochastic counterexample generation techniques and utilize them to improve the accuracy of the state reductions. Thirdly, derive automated guidance mechanisms learned from stochastic counterexamples to improve the quality and efficiency of rare-event stochastic simulations. Lastly, integrate our proposed framework within existing state-of-the-art stochastic model checking tools, PRISM and STORM; and evaluate the proposed methodology on a wide range of case studies derived from synthetic biology and nanotechnology applications. The combination of these methods into this new methodology is being explored for the first time. Altogether, this research will improve the accuracy of analysis of infinite state stochastic systems with rare-event properties. + +This project was supported by National Science Foundation Grants No. 1856740. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies. diff --git a/content/authors/SD2/_index.md b/content/authors/SD2/_index.md index 2a20be6fa..898ee6eb8 100644 --- a/content/authors/SD2/_index.md +++ b/content/authors/SD2/_index.md @@ -63,3 +63,6 @@ SD2E began as the DARPA SD2 program Environment for enabling advanced scientific SD2E now serves SD2 and other related data-driven scientific programs. SD2E consists of this web-portal; a web-based research workbench, a RESTful APIs (Tapis) and function-as-a-service (Abaco) linking computational applications and workflows with command line access and control via web-portal; high performance advanced computational and data storage hardware; and the skilled personnel supporting scientists in their use of the computational resources. Additional tools incorporated into SD2E include JupyterHub, Gitlab, Jenkins, Redash, and Synbiohub. Access control to data and software is maintained at multiple levels, allowing private user-only access during initial testing, followed by project level shared access, and finally publishing capabilities. SD2E is managed by the Texas Advanced Computing Center (TACC), where many of the world’s most powerful research computing resources are designed and operated. More information on TACC resources can be found here. + + +This project was supported by DARPA FA8750-17-C-0229. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.