Project Grant 2312540
- 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...
- The University of Wisconsin System was awarded a $180,000 Project Grant from the National Science Foundation's Mathematical and Physical Sciences program (CFDA 47.049). The funding will support research in computability theory and the enumeration degrees framework, which aims to study the relative algorithmic complexity of non-computable mathematical problems. The research project, effective from September 1, 2025 to August 31, 2026, will focus on developing new methods and investigating the...
- 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...
- The University of Wisconsin-Madison was awarded a $916,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund the "SHF: MEDIUM: PROGRAM SYNTHESIS FOR WEAK SUPERVISION" project from July 2021 through June 2025. The project aims to advance the development of research cyberinfrastructure to enable and accelerate discovery and innovation in computing, communications, and...
- The National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) has awarded a $300,000 Project Grant to the University of California, Santa Barbara (UCSB) Office of Research 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, including areas such as...
- Iowa State University of Science and Technology (ISU) was awarded a $228,000 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 grant will support ISU's collaborative research project "Weak Derandomizations in Time and Space Complexity" from October 1, 2021 through September 30, 2024. The NSF Computer and Information Science and...
- This Project Grant award of $597,125 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research to advance the state-of-the-art in randomness extraction algorithms. The grant aims to develop new techniques for generating high-quality random bits from defective natural sources, with applications in securing internet communication, machine learning, and complex system simulations. Key research thrusts include exploring new...
- This Project Grant award of $376,058.00 from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project at Cornell University to develop new techniques for reasoning about randomness in concurrent computer programs. The goal is to create program logics and reasoning tools that can enable more precise and compositional analysis of concurrent randomized programs, which is critical for ensuring...
- The University of Wisconsin-Madison received a $165,818 Project Grant award from the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a period of July 1, 2023 to June 30, 2026. The award will support the development of a cyberinfrastructure focused on enabling rapid implementation and reproducible testing of randomized linear algebra algorithms to address computational...
- This $150,000 Project Grant award was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the University of California, San Diego (UCSD). The project, titled "Collaborative Research: CCF: AF: SMALL: New Frontiers in Structures vs Randomness with Applications to Combinatorics, Complexity, Algorithms," aims to develop a new theoretical framework to study the interplay between structure and randomness in...
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 and polynomial-time interactive verification processes known as Arthur-Merlin protocols. As part of the work, the investigators will develop a principled approach for derandomizing Polynomial Identity Testing based on the notion of a vanishing ideal, and will further connections between lower bounds and derandomization in the Arthur-Merlin setting. The award also incorporates graduate and undergraduate student training and the development of a textbook to increase accessibility of computational thinking and quantum algorithms concepts.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $600.0k | 4/12/23 |