Project Grant 2525738
Award Date 1/1/26
Completion Date 12/31/28
Dollars Obligated $600K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Morgantown, WV 26506, USA
Similar Awards
- This Project Grant award, valued at $518,186 and provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, supports the development of new methods to help computers automatically verify the truthfulness of certain mathematical statements involving polynomial inequalities. The research aims to create tools that can not only test these mathematical statements but also produce trustworthy "certificates" to explain...
- 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 federal Project Grant award of $185,266.00 was provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences grant program (CFDA 47.049). The award supports research on combinatorial aspects of finite and infinite free resolutions, with a focus on developing techniques in areas such as polyhedral geometry, partially ordered sets, and homological tools. The research will explore the combinatorial structure underlying polynomial systems and their solutions,...
- This Project Grant award of $295,099 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The grant funds a collaborative research project to develop a theory of quasi-polynomial time algorithms for solving complex graph problems, which can effectively classify problems as solvable in quasi-polynomial time even when the existence of polynomial time algorithms remains an open question. The...
- This Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) provides $450,000 to The Trustees of the University of Pennsylvania from January 2022 through September 2024. The funding supports research to develop new theoretical foundations for uncertainty quantification in non-convex, low-complexity models used in data-driven applications. Specifically, the awardee will conduct research to construct optimal confidence...
- This Project Grant award, valued at $137,324.00, was provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) federal grant program. The award is focused on advancing the mathematical understanding of polytopes, which are geometric structures with universal importance in many areas of mathematics, including computer science, architecture, art, and philosophy. The principal investigator plans to attack various problems related to polytopes and...
- This Project Grant award, valued at $600,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award, with a performance period from January 1, 2026 to December 31, 2028, is supporting research by the Regents of the University of Michigan in the areas of extremal combinatorics and the analysis of algorithms. The primary goals are to solve basic classification questions in the theory of...
- This federal Project Grant award of $150,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 collaborative research focused on the "structure vs randomness" paradigm, which aims to identify structured properties in mathematical objects and leverage randomness for their analysis and algorithm design. The key goals are to develop a versatile theoretical framework and apply it...
- This $599,943 Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) aims to develop techniques for more efficient and resilient real-time communications in critical cyber-physical systems like aircraft, automobiles, and industrial control networks. The key innovations include creating holistic models, algorithms, and software designs to achieve the scalability, adaptability, and resiliency...
- This $150,000 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) supports research at Carnegie Mellon University to advance the theoretical and applied frontiers at the intersection of probability, geometry, and combinatorics. The project focuses on three main research directions: 1) enabling efficient statistical inference for geometric probability distributions, 2) analyzing minimum lengths of combinatorial structures in...