Project Grant 2542165
- Federal Project Grant Summary Carnegie Mellon University received a $331,723 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), effective June 1, 2026 through May 31, 2031. The award funds a CAREER-track research initiative focused on developing new mathematical and computational tools for solving large-scale problems in network optimization, data analysis,...
- Federal Grant Award Summary Carnegie Mellon University's Office of Sponsored Programs received an $850,000 Project Grant from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070), effective July 1, 2026 through June 30, 2029. The project, "Integrating Cost and Behavior in Type Theory," develops a dependent type theory foundation for proof assistants that enables...
- Federal Project Grant Award Summary Carnegie Mellon University received a $348,956 project grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) effective June 15, 2025, with completion targeted for May 31, 2030. This CAREER award supports foundational research to develop perception systems capable of understanding actionable 3D environments from 2D visual input. The project will produce computational approaches and...
- Federal Grant Award Summary Carnegie Mellon University received a $218,724 Project Grant award dated August 1, 2025, from the National Science Foundation's Division of Computer and Network Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The three-year project, concluding July 31, 2028, focuses on translating "tiny pointers"—a theoretical compression technique for memory addresses—into practical, deployable systems tools. The research...
- Federal Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded a CAREER grant totaling $530,283 to the University of Michigan (award date: May 1, 2026; completion date: April 30, 2031) under the Computer and Information Science and Engineering program (CFDA 47.070). This project grant supports theoretical computer science research focused on advancing structural understanding of paths in graphs and developing efficient algorithms for...
- Federal Grant Award Summary The National Science Foundation (NSF) awarded a five-year CAREER grant totaling $432,921 to the University of Colorado (administered through the Office of Contracts and Grants Division) under the Computer and Information Science and Engineering (CFDA 47.070) program, effective October 1, 2026 through September 30, 2031. The project delivers theoretical and practical research on the structure and incentives for eliciting and aggregating distributed information. Key...
- Federal Grant Award Summary Carnegie Mellon University received a $150,000 Project Grant from the National Science Foundation (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049), awarded August 15, 2025, with a completion date of July 31, 2028. The grant supports fundamental research addressing probabilistic and geometric themes in combinatorics, with three primary research directions: (1) enabling statistical inference for probability...
- Federal Project Grant Award Summary Carnegie Mellon University has received a $349,005 CAREER grant from the National Science Foundation's Division of Computing and Communication Foundations (CFDA 47.070: Computer and Information Science and Engineering) to develop improved methods for human feedback to artificial intelligence (AI) agents operating in complex environments such as code editors and web browsers. The five-year project, funded from September 1, 2026, through August 31, 2031,...
- Federal Project Grant Award Summary Carnegie Mellon University received a $675,000 project grant from the National Science Foundation (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering (CFDA 47.070) program, effective October 1, 2025, through September 30, 2028. This collaborative research initiative develops semantic-aware code generation techniques for Large Language Models (LLMs) to improve the quality and reliability of...
- Federal Project Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded a $357,069 CAREER grant to The Johns Hopkins University (awarded August 15, 2026; completion date July 31, 2031) under the Computer and Information Science and Engineering program (CFDA 47.070). The project develops interpretable, large language model-based frameworks designed to help researchers identify cross-disciplinary connections within scientific literature and...
The National Science Foundation's Division of Computing and Communication Foundations awarded Carnegie Mellon University $344,345 under the Computer and Information Science and Engineering program (CFDA 47.070) for a CAREER grant titled "Foundational Problems in Randomized Data Structures." The award, issued July 15, 2026, with completion scheduled for June 30, 2031, supports investigator-initiated research addressing fundamental theoretical and practical questions about how data structures—core algorithms that optimize data storage and retrieval—can be designed more efficiently. The research deliverables focus on three primary areas: (1) developing optimal space-efficient methods for storing fundamental data objects such as sets, arrays, graphs, and hash tables; (2) investigating theoretical separations between randomized and deterministic data structures to advance understanding of whether randomization provides provable computational advantages; and (3) advancing the theoretical limits of dictionary data structures to inform both practical implementation and abstract computer science theory. The project seeks to produce scientific contributions that address long-standing open problems in data structures research, with potential impact on both practical software development and foundational understanding of computational complexity and algorithm design. Deliverables will include peer-reviewed research publications, theoretical proofs, and potentially new algorithmic techniques applicable to widely-used data structures in modern computing systems. The award supports research conducted at Carnegie Mellon University's Pittsburgh, Pennsylvania campus, a leading research institution with substantial prior experience administering NSF grants across computing and information science domains.Federal Project Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $344.3k | 7/14/26 |