Project Grant 2525332
Award Date
10/1/25
Completion Date
9/30/28
Dollars Obligated
$249K
Federal Agency
Division of Computing and Communication Foundations
Awardee
Barnard College (LPQ1NHRK78M9)
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
New York, NY 10027, USA
Similar Awards
Barnard College received a $173,341 Project Grant award from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for the period of May 1, 2021 through April 30, 2023. The award will support research exploring human-in-the-loop program synthesis through live coding. The Computer and Information Science and Engineering program aims to advance computing, communications, and information science through...
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 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...
This Project Grant award, valued at $366,160, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award will support collaborative research by the University of Rochester to develop practical formal methods for verifying the correctness of numerical algorithms and their implementation on emerging hardware architectures, particularly those optimized for artificial intelligence applications. The...
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 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is providing $400,000 to the University of Delaware to develop tools that help developers easily verify and find defects in scientific software. The project aims to create a modular approach to specifying program components using mathematical abstractions, automated methods to verify program adherence to specifications, and apply these techniques to...
This $174,999 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research to develop a formal verification framework for precisely analyzing relational quantitative properties in software programs that use mutable arrays. The research aims to improve the security, privacy, and efficiency of software systems by enabling more accurate analysis of how programs handle sensitive data and perform tasks consistently....
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...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...