Project Grant 2318953
Award Date 10/1/23
Completion Date 9/30/27
Dollars Obligated $375K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, 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, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
- This $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
- 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...
- Federal Project Grant Award Summary Massachusetts Institute of Technology (MIT) received a $606,430 Project Grant award effective October 1, 2025, through September 30, 2029, from the National Science Foundation's Division of Computer and Network Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award supports collaborative research on formal verification techniques for distributed systems with Byzantine participants—systems where some...
- This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
- 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...
- The National Science Foundation (NSF) awarded a $300,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) federal grant program to Carnegie Mellon University (CMU). The grant funds a 3-year research project focused on developing logical and semantic foundations for compositional assurance reasoning about the safety, reliability, and security of software systems when heterogeneous analysis methods are applied. The project aims to create reasoning principles...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program project grant award (CFDA 47.070) provides $249,867 to New York University (NYU) from October 1, 2023 to September 30, 2027. Under this award, NYU will develop a prototype distributed database called VDDB and a new verification framework called PHLOX to formally specify and verify the correctness of VDDB. The goal is to demonstrate the feasibility of using formal verification to improve the...
- The National Science Foundation awarded a $492,818 project grant to Stanford University from the Computer and Information Science and Engineering program (CFDA 47.070) for work titled "Efficient, Automatic, and Trustworthy Smart Contract Verification." The goal of this three-year project beginning October 1, 2021 is to develop techniques for formally verifying smart contracts to ensure they are efficient, automatically checked for security vulnerabilities, and produce trustworthy...
- This federal Project Grant award, totaling $300,000.00, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant supports a collaborative research project that aims to develop new semantic metrics to measure code complexity and guide software developers in writing more comprehensible code. The key objectives are to: (1) validate the correlation between code verifiability and human comprehension, (2)...