Project Grant 2615892
Award Date 9/1/26
Completion Date 8/31/30
Dollars Obligated $867K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
West Lafayette, IN, USA
Similar Awards
- Federal Grant Award Summary Purdue University received a $391,123 CAREER award from the National Science Foundation (NSF), Division of Information and Intelligent Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), with performance period September 1, 2026 through August 31, 2031. The project delivers research and development of novel formal methods techniques and a general-purpose framework designed to help software developers rigorously examine and...
- Federal Grant Award Summary Purdue University received a $105,113 Project Grant from the National Science Foundation (NSF) under the Integrative Activities program (CFDA 47.083) beginning September 1, 2025, with a completion date of August 31, 2027. This collaborative planning project, titled "CROSS: Building a Community Around Securing the Research Software Supply Chain," delivers foundational research and community engagement products designed to identify and mitigate cybersecurity...
- Federal Project Grant Award Summary Purdue University received a $600,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070) effective August 1, 2025, through July 31, 2028. The award funds research and development of gradient-based discrete Markov Chain Monte Carlo (GD-MCMC) algorithms designed to improve sampling efficiency and statistical reliability for machine...
- Federal Project Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded a five-year CAREER grant totaling $424,806 to the University of Michigan, effective May 1, 2026 through April 30, 2031, under the Computer and Information Science and Engineering program (CFDA 47.070). The project delivers domain-specific programming languages and embedded verification libraries for mathematical proof of correctness and security in parsing systems....
- Federal Project Grant Award Summary Purdue University received a $210,000 Project Grant from the National Science Foundation's Division of Mathematical Sciences (CFDA 47.049) awarded on September 1, 2025, with completion targeted for August 31, 2028. This collaborative research project develops rigorous theoretical foundations for amortized inference, a machine learning paradigm that enables efficient, real-time statistical query responses by learning model-dependent mappings from data to...
- Federal Project Grant Award Summary Purdue University received a $326,628 National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) Project Grant, awarded July 1, 2026, with a completion date of June 30, 2031. This CAREER award supports research on distributed large-scale machine learning (ML) with security guarantees, addressing the concentration of ML development among resource-rich organizations by enabling secure, transparent participation from...
- 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...
- The National Science Foundation awarded a $597,785 Project Grant to Purdue University to develop new techniques for automated verification and synthesis of input generators in property-based testing frameworks. This grant, funded through NSF's Computer and Information Science and Engineering program (CFDA 47.070), aims to enable precise reasoning about the soundness and completeness of software testing generators. The project will focus on developing new specification frameworks, type systems,...
- Federal Project Grant Award Summary The University of Delaware received a $400,000 project grant from the National Science Foundation (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective June 1, 2025 through May 31, 2029. This award supports the development of advanced software verification tools designed to help scientific software developers identify and eliminate defects in their code....
- Federal Project Grant Award Summary Purdue University received a $401,546 CAREER award from the National Science Foundation's Division of Information and Intelligent Systems (Computer and Information Science and Engineering, CFDA 47.070) effective June 1, 2026, through May 31, 2031. The project, "PTM-SEER: Software Engineering Foundations for Re-Using Pre-Trained Neural Models," delivers research and practical tools addressing the emerging challenge of reusing and adapting...