Project Grant 2615896
Award Date 7/1/26
Completion Date 6/30/29
Dollars Obligated $850K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
- 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 Grant Award Summary Carnegie Mellon University received a $899,996 Project Grant award from the National Science Foundation's Division of Computing and Communication Foundations (CFDA 47.070) effective October 1, 2025, through September 30, 2029. The grant funds the development of probabilistic modeling and analysis tools designed to simplify software development for intermittent systems—computing devices that operate without batteries by harvesting energy from environmental sources such...
- Federal Project Grant Award Summary Carnegie Mellon University's Office of Sponsored Programs received a $100,000 Project Grant award from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective September 1, 2025, through August 31, 2028. This collaborative research initiative, titled "Mathematical Frontiers of Generative AI," aims to develop rigorous...
- 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 Project Grant Award Summary Carnegie Mellon University received a $389,000 Project Grant from the National Science Foundation's Division of Computing and Communication Foundations (CFDA 47.070) awarded July 1, 2025, with completion targeted for June 30, 2028. This collaborative research initiative delivers correct-by-construction code generation methodologies for high-performance computational chemistry applications. The project develops novel notations and formal methods for...
- The National Science Foundation (NSF) awarded a $300,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) federal grant program to Carnegie Mellon University (CMU). The grant funds a 3-year research project focused on developing logical and semantic foundations for compositional assurance reasoning about the safety, reliability, and security of software systems when heterogeneous analysis methods are applied. The project aims to create reasoning principles...
- This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
- 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...
- The National Science Foundation awarded $544,003 to Carnegie Mellon University under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a three-year Project Grant beginning October 1, 2022. The grant aims to develop formal libraries, methods, and tools to carry out tasks like encoding statements as clausal formulas and reducing search spaces in verified ways using automated reasoning and interactive theorem proving. Specifically, the university will...
- Federal Grant Award Summary Carnegie Mellon University received a $299,138 Project Grant from the National Science Foundation (NSF) under the Technology, Innovation, and Partnerships program (CFDA 47.084), awarded August 15, 2025, with completion targeted for July 31, 2026. The award supports Phase I of the Pathways to Enable Open-Source Ecosystems (POSE) initiative focused on developing an open-source ecosystem (OSE) for the Adaptive Control of Thought-Rational (ACT-R) computational cognitive...