Project Grant 2308981
Award Date 4/1/23
Completion Date 12/31/25
Dollars Obligated $500K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Menlo Park, CA 94025, USA
Similar Awards
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $212,983 to the Rochester Institute of Technology (RIT) to develop and disseminate self-contained interactive exercises using web-based programming environments. These exercises aim to introduce formal methods concepts from computer science to students across various STEM disciplines, including computer science, bioinformatics, computer...
- This Project Grant award of $375,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support collaborative research at the University of Utah to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers as formal requirements. The project will also develop formal models capable of capturing non-standard hardware behaviors and enable end-to-end correctness...
- This Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $366,160 to the University of Rochester to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers and formal models capable of bridging the behavioral differences between non-standard hardware and numerical algorithms. The goal is to enable end-to-end correctness verification to...
- This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
- The National Science Foundation (NSF) Division of Computing and Communication Foundations awarded a $593,022 Project Grant to The Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. This grant, under NSF's Computer and Information Science and Engineering (CFDA 47.070) program, supports a project focused on developing new formal verification techniques for concurrent software. The project aims to bridge the gap between intuitive scenario-based reasoning and rigorous...
- This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $145,557.00 to The Reed Institute (doing business as Reed College) to improve techniques for verifying the safety and reliability of probabilistic programs. The project aims to develop novel abstract domains and order-theoretic operators to analyze programs with complex, continuous probability distributions, enabling more properties to be...
- This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
- This $136,123 National Science Foundation project grant aims to improve student learning outcomes in computer science theory courses through the use of conceptual models. Funded under the federal STEM Education program (CFDA 47.076), the grant supports research at Rochester Institute of Technology to study the impact of teaching students how to create their own conceptual models of theoretical computing concepts. The project team will analyze qualitative and quantitative data from student...
- This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program provides $248,779 to Boise State University to develop educational resources and tools for formally specifying the behavior of scientific software programs. The project aims to improve the reliability and quality of scientific computing by training the scientific community on techniques for describing and verifying program correctness. Key deliverables...
- This $380,000 Project Grant from the National Science Foundation's Mathematical and Physical Sciences program (CFDA 47.049) supports the Summer School for Integrated Computational Materials Education held at the University of Michigan from September 1, 2022 to August 31, 2025. The Summer School trains graduate students, postdoctoral fellows, and professors in computational and data science approaches for materials research and education to expand educational opportunities in computational...