Project Grant 2616792
Award Date 10/1/26
Completion Date 9/30/29
Dollars Obligated $300K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Lexington, KY 40526, USA
Similar Awards
- The National Science Foundation Division of Information and Intelligent Systems awarded $300,000 to The Regents Of The University Of California (UC Riverside) on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) for research into documentation-guided static analysis of software. The project develops approaches to automatically translate framework documentation into formal specifications and use those specifications to verify whether application...
- The National Science Foundation's Division of Information and Intelligent Systems awarded the University of Massachusetts $396,112 on July 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop formal software specifications as a foundation for aligned and automated software engineering. The project creates a large-scale dataset linking natural language documentation, formal behavioral specifications, and code artifacts, along with an automated...
- The National Science Foundation Division of Computing and Communication Foundations awarded The University of Kentucky Research Foundation $420,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop mathematical and computational tools for modeling directed group interactions in complex systems. The project creates a unified framework for signal processing, structure learning, and neural network modeling on directed hypergraphs,...
- The National Science Foundation Division of Information and Intelligent Systems awarded the National Academy of Sciences $733,067 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to conduct independent analyses, convenings, and studies advancing computing research. Over the three-year performance period through September 30, 2029, the National Academy of Sciences will convene leaders from academia, industry, and government to examine...
- Federal Grant Award Summary The University of Kentucky Research Foundation received a $300,000 Project Grant 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) beginning October 1, 2025, with completion targeted for September 30, 2028. This collaborative research project develops an innovative mobile application (app) recommender system designed to address critical...
- The National Science Foundation Division of Information and Intelligent Systems awarded Northern Kentucky University $190,000 on July 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to support a workshop expanding computing research capacity across EPSCOR jurisdictions. The award funds a workshop co-located with the 2026 CRA Summit that convenes computing research leaders from EPSCOR jurisdictions with NSF CISE leadership. The workshop focuses on...
- The National Science Foundation Division of Computing and Communication Foundations awarded North Carolina State University $300,000 on September 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop methods for generalizable editing of foundation models, including large language models. The project investigates knowledge augmentation frameworks that enable foundation models to update stored facts more reliably and apply edits across related...
- The National Science Foundation Division of Information and Intelligent Systems awarded Northwestern University $200,000 on May 1, 2026, under the Computer and Information Science and Engineering program to develop techniques for automatically extracting high-level specifications from large scientific codebases using large language models combined with formal methods. The project, performed at Northwestern's Evanston, Illinois campus through April 30, 2030, addresses verification and correctness...
- The National Science Foundation Division of Information and Intelligent Systems awarded the University of California, San Diego $215,035 on May 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) for collaborative research on compiler infrastructure redesign to support scientific computing. The project develops methods to synthesize domain-specific and program-specific static analyses that enable scientists to express and statically enforce complex...
- Federal Grant Award Summary The National Science Foundation's Division of Computer and Network Systems awarded a CAREER grant totaling $427,891 to The University of Kentucky Research Foundation on July 15, 2025, under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award supports foundational research through June 30, 2030, focused on developing RESONET (Resilient and Secure Operation of Networked Real-Time Systems), an innovative architecture designed to...