Project Grant 2504143
Award Date
10/1/25
Completion Date
9/30/29
Dollars Obligated
$334K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
New York, NY 10012, USA
Similar Awards
This Project Grant award from the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) will support collaborative research on developing new techniques for reasoning about randomness in concurrent programs. The $376,058 award, effective October 1, 2025 through September 30, 2029, will enable researchers from Cornell University to create program logics and reasoning tools to enable more precise analysis of concurrent randomized programs. This work aims to...
This federal Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $600,000 in funding to Northeastern University from January 1, 2025 to December 31, 2027. The primary objective of this research project is to advance the understanding of randomness in computation, with the goal of improving the performance and security of everyday technology. Key areas of investigation include pseudorandom...
This Project Grant award of $597,125 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program will support research at Cornell University to advance the field of randomness extraction. The project aims to explore new models of defective randomness sources that go beyond traditional assumptions of independence, and develop efficient algorithms to extract or condense randomness in these more realistic scenarios. The research will have...
This $293,784 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program supports fundamental and applied research on fluctuating systems, random environments, and stochastic algorithms. The research aims to improve understanding and exploitation of randomness across diverse settings, including materials science, fluid dynamics, and machine learning. Key areas of focus include stochastic homogenization, stochastic partial...
This $200,208 Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports research by New York University (NYU) on history independence (HI) in algorithmic performance. The project aims to demonstrate how HI can be used as a powerful analytical tool for designing randomized data structures and algorithms, especially in the presence of oblivious adversaries. The research will investigate HI applications...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) aims to improve techniques for verifying the safety and reliability of probabilistic programs. The $145,557 award to The Reed Institute, doing business as Reed College, supports the development of novel abstract domains and order-theoretic operators to handle programs with complex, continuous probability distributions. This research...
This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...
This $240,606 Project Grant award from the National Science Foundation's (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049) supports fundamental research at the intersection of combinatorics, probability, and other fields. The project, led by researchers at New York University, explores threshold phenomena in random discrete structures and asymptotic enumeration problems on expander graphs. Key objectives include proving the "Second...
This Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) will provide $350,000 to North Carolina State University (NC State) from July 1, 2025 to June 30, 2028. The project will investigate foundational principles for mathematically representing and numerically solving large-scale random models that arise in areas such as data analysis, AI, geophysics, signal processing, and medical imaging. New strategies and methodologies...
This $439,112 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program will support research to enable practical dynamic program reasoning across language boundaries in multi-language software systems. The award will fund the development of new foundations for dynamic analysis and application tools to diagnose cross-language correctness and security issues, helping to produce multi-language systems of...