Project Grant 2514586
Award Date
7/15/25
Completion Date
6/30/28
Dollars Obligated
$597K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Ithaca, NY, 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 from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $333,627 to New York University (NYU) to develop new techniques for reasoning about randomness in programs. The project aims to create program logics and reasoning tools to enable more precise, compositional analysis of concurrent randomized programs. This will involve building on a new semantic model of randomness and concurrency, with the...
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 $599,338 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports theoretical research at Cornell University on quantum information science and communication. The key objectives are to investigate quantum information transmission limits, entanglement measures, and probabilistic communication capacity. The research aims to advance the fundamental understanding of quantum Shannon theory, with...
The National Science Foundation (NSF) awarded a $300,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to The Trustees of Columbia University in the City of New York, operating as Columbia University, to conduct research on the theoretical foundations of quantum pseudorandomness. The 3-year project aims to systematically develop the theoretical underpinnings of quantum pseudorandomness and explore its applications in areas such as quantum cryptography,...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program will support $122,000 in research over a 5-year period, starting on June 1, 2025 and ending on May 31, 2030. The goal of this award is to develop new mathematical tools and techniques for analyzing sampling algorithms used ubiquitously in practice for manipulating and understanding complex, high-dimensional probability distributions. This research will focus on...
The Research Foundation For The State University Of New York (RF SUNY), doing business as Stony Brook University, received a $299,975 project grant award from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering program (CFDA 47.070). The award will support research investigating the use of history independence as an analytical tool for designing randomized algorithms and data structures, especially against...
The National Science Foundation awarded a $600,000 Project Grant to the University of Wisconsin-Madison under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The three-year award will support research investigating the potential for achieving computational efficiency in decision and verification without randomness. The university researchers will explore new directions in the area of derandomization within bounded-error probabilistic polynomial time...
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...