Project Grant 2426414
Award Date
10/1/24
Completion Date
9/30/27
Dollars Obligated
$387K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Hoboken, NJ 07030, USA
Similar Awards
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,...
This $150,000 federal Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program will fund the development of a new state-of-the-art tool called "HyperQB" that can mathematically prove the correctness of computing systems with respect to security and privacy policies. The key products and services to be delivered through this 2-year grant include: Significantly boosting the performance and capabilities...
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 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 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...
The National Science Foundation awarded a $900,000 project grant to the University of California, San Diego to develop foundations, techniques, and frameworks for building end-to-end verified secure sandboxed systems from May 2022 through April 2026. This award falls under the Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Specifically,...
The National Science Foundation (NSF) awarded a $300,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Illinois Institute of Technology (IIT) Sponsored Research and Programs Division. The grant aims to address the growing need for formal reasoning about the safety, security, and reliability of complex software systems when heterogeneous analysis methods are applied. The key products and services to be delivered through this 3-year award...
This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...
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 $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...