Project Grant 2446084
Award Date
4/15/25
Completion Date
3/31/29
Dollars Obligated
$375K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Salt Lake City, UT 84112, USA
Similar Awards
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award of $366,160 provides funding from April 15, 2025 through March 31, 2029 to the University of Rochester for a project titled "Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War." The project aims to develop practical formal methods to capture the correctness expectations of...
This federal Project Grant award of $550,000 from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to advance the scalability and usability of formal verification techniques for computer architectures. The key objectives are: Developing architecture-driven abstractions, component interfaces, and invariants to enable modular functional verification of complex processors. Leveraging architectural insights to...
The National Science Foundation awarded Princeton University $1,118,988 under the Computer and Information Science and Engineering program (CFDA 47.070) for a three-year project grant titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: FORMALLY VERIFIED NUMERICAL METHODS." The grant aims to advance the development of formally verified numerical methods through a layered approach integrating reasoning about numerical software correctness and accuracy from mathematics to software code....
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 $875,000 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development of "Performance Verification," a suite of automated reasoning tools to evaluate the performance of complex networked systems. The project aims to create a formal modeling and specification framework to model networked systems and specify their performance properties. This will enable system...
This National Science Foundation (NSF) Computer and Information Science and Engineering program grant (CFDA 47.070) awarded to the University of Utah aims to enhance the reliability of numerical computations running on modern processing hardware. The $100,000 project, titled "RIGOROUS AND SCALABLE FORMAL FLOATING-POINT ERROR ANALYSIS FROM LLVM", will develop a framework based on the LLVM programming language to integrate multiple error analysis tools that can identify and mitigate...
This $360,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve the reliability and performance of parallelizing compilers by automatically verifying that translated parallel code has the same functionality as the original sequential code. The project will involve precise modeling of sequential and parallel program behavior, developing a verification tool, and mathematically proving the...
Cornell University was awarded a $381,012 Project Grant from the National Science Foundation (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year award will support research to formally verify the correctness and accuracy of numerical software used in applications such as planetary modeling, self-driving vehicles, rocketry, wireless technology, and medicine. The researchers will take a layered...
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 (NSF) awarded a 5-year, $214,287 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Research Foundation For The State University Of New York (RF SUNY), doing business as Stony Brook University. The goal of this research is to advance the foundations of formal methods in order to make formal verification of AI-based cyber-physical systems (CPS) practical. The project investigates approximation approaches where an...