Project Grant 2513374
Award Date
7/15/25
Completion Date
6/30/28
Dollars Obligated
$518K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Albuquerque, NM 87131, USA
Similar Awards
This $300,000 Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports collaborative research at North Carolina State University (NC State) to develop new algorithmic approaches for efficiently and rigorously computing real solutions to systems of nonlinear polynomial equations. The project aims to advance both the mathematical theory and computational methods for solving such equations, which are...
This Project Grant award from the National Science Foundation (NSF) Integrative Activities program (CFDA 47.083) provides $299,998 to the University of New Mexico (UNM) to develop new formal methods for verifying and improving the safety of learning-enabled cyber-physical systems. The research will focus on three core thrusts: 1) computing size-reduced formal abstractions for AI/ML system components to enable safety verification, 2) extending rigorous reachability analysis to verify safety in...
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...
The National Science Foundation (NSF) awarded a $300,000 Computer and Information Science and Engineering (CFDA 47.070) Project Grant to the University of Notre Dame to develop efficient and rigorous algorithms for computing real solutions to systems of polynomial equations. The 3-year project aims to create new mathematical theories and homotopy continuation algorithms that can identify at least one or all real solutions, without needing to compute complex solutions which are often orders of...
This $115,718 federal Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) supports advanced research into the algebraic and geometric properties of solutions to systems of polynomial equations. The primary goals of the project are to study the algebraic aspects of these solutions using non-archimedean geometry, investigate the complexity of curves within varieties of general type, and develop new non-archimedean...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program provides $375,000 to the University of Utah to advance formal methods for scientific computing. The project aims to develop practical formal methods to capture the correctness expectations of numerical algorithm designers, formal models capable of representing non-standard hardware, and end-to-end correctness verification techniques....
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 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 $447,875 Project Grant award under the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program supports research at the University of Texas at San Antonio (UTSA) to advance the theoretical foundations for efficiently processing real algebraic sets. The key objectives are to: Design algorithms for finding complex zeros of sparse polynomial equation systems in average-case polynomial time. Investigate the relationship between description...