Project Grant 2505129
- The National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) awarded a $300,000 project grant to The Regents of the University of California, doing business as the University of California, Berkeley (UC Berkeley) to develop new hardware accelerator chips custom-designed for Boolean Satisfiability (SAT) problems. The project aims to reduce the time and energy required to solve critical computational problems in industry,...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $600,000 will fund research to develop innovative cooperative stochastic local search algorithms for Boolean satisfiability (SAT) solving. The project aims to enhance collaboration between different SAT solving algorithms, both sequentially and in parallel, to create a powerful combined reasoning framework. This work will advance the state-of-the-art...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award, with a CFDA number of 47.070, provides $1,000,000.00 in funding to the University of California, Santa Cruz (UCSC) for a project focused on developing automated AI systems to design high-performance hardware accelerators. The research aims to address a critical bottleneck in modern computer chip design by creating a unified chiplet-based design flow for zero-knowledge proof (ZKP)...
- This Project Grant award of $450,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop novel approaches to electronic design automation (EDA) for creating high-performance and efficient computer hardware. The research introduces a strategy that combines formal techniques with learning-based optimization to enable differentiable hardware synthesis, particularly suited for heterogeneous computing. This new...
- This $199,006 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports fundamental and applied research across computational domains. The project aims to investigate the tractability and intractability of important computational problems, including advancing the understanding of electoral methods and the training of large language models and other AI tools. The award will also provide training for graduate...
- This National Science Foundation Project Grant of $600,000 supports research on the complexity of satisfiable constraint satisfaction problems at the Massachusetts Institute of Technology from January 2023 through December 2025. Funded through the Computer and Information Science and Engineering program (CFDA 47.070), this award will advance the development of probabilistically checkable proofs theory through focused study of satisfiable constraint satisfaction problems, a fundamental class of...
- This Project Grant award of $360,000.00 from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program, with an award date of August 15, 2025 and an ultimate completion date of July 31, 2028, is designed to enhance the capabilities of the widely used Accel-Sim simulation infrastructure. The key objectives are to: 1) Modernize and expand Accel-Sim's performance and energy models to support the latest GPU architectures, including features like...
- The National Science Foundation (NSF) awarded a $400,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Arizona State University, Division (doing business as Orspa), for the project "COLLABORATIVE RESEARCH: SHF: MEDIUM: TINY CHIPLETS FOR BIG AI: A RECONFIGURABLE-ON-PACKAGE SYSTEM". This 4-year project (7/1/2024 - 6/30/2028) aims to pioneer a computing system for massive AI workloads, including new architectural and design automation...
- This federal Project Grant from the National Science Foundation's Division of Computing and Communication Foundations, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $549,999 to Arizona State University to develop automated methods for near-hardware run-time optimization, bug repair, and program synthesis. Specifically, the university will adapt higher-level automated program improvement techniques to optimize general-purpose GPU code runtimes,...
- The National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program awarded a $420,000 Project Grant to New York University (NYU) for the project "Collaborative Research: SATC: CORE: SMALL: Evaluating the Security Landscape of Machine Learning Enabled Electronic Design Automation". The 3-year project, starting on October 1, 2025, will comprehensively examine the impact of input and training data perturbations and attacks on the quality, performance,...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program provides $600,000 to the University of Southern California (USC) for the development of a specialized hardware accelerator chip designed to dramatically improve the speed and efficiency of solving Boolean Satisfiability (SAT) problems. The project aims to create new types of accelerator chips that can solve a wide range of critical optimization problems in areas like hardware/software design, AI, robotics, and drug discovery up to 100 times faster than existing approaches. It will develop novel circuit and memory architectures, along with supporting design methods and tools, to maximize parallelization and performance of SAT solvers. The project will also advance the art of custom computing and train students in this new field. The models, methods, and tools developed will be shared with researchers, industry, and defense experts to foster a vibrant community. The award period is from October 1, 2025 to September 30, 2029.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $600.0k | 7/18/25 |