Project Grant 2442685

Award Date 6/1/25
Completion Date 5/31/30
Dollars Obligated $389K
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boston, MA 02115, USA
Similar Awards
This four-year, $750,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems will support the development of foundational principles for modular probabilistic programming and inference. Funded under the Computer and Information Science and Engineering program, the grant aims to advance scalable and efficient machine learning model design through the creation of a new probabilistic programming language called MODPPL. Key deliverables include the...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) for $145,557 supports research to improve techniques for verifying the safety and reliability of probabilistic programs. The project, led by the Reed Institute in Portland, Oregon, aims to develop novel abstract interpretation frameworks for analyzing complex, continuous probability distributions in programs, addressing key challenges in areas like...
This $875,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is developing a probabilistic programming framework for modeling hybrid systems that combine continuous state evolution and discrete state changes. The project is applying this framework to domains such as epidemiology, medical devices, and autonomous systems, with the goal of enabling rigorous model-based decision-making. Key project...
The National Science Foundation (NSF) awarded a 4-year, $252,007 Project Grant under the Engineering (CFDA 47.041) program to Northeastern University. The grant supports the development and testing of AI-based programming tools to assist social and natural scientists with computer programming tasks. The research team is developing large language models and associated tools to support programming languages commonly used in the sciences, such as MATLAB and R, in order to make programming easier...
This $402,777 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to enhance the capabilities of large language models (LLMs) for safe and reliable program generation. The project aims to address limitations of LLMs, such as generating code that does not align with user intent, has security vulnerabilities, or violates coding standards. The research will involve empirical...
This Project Grant from the National Science Foundation's Division of Information and Intelligent Systems provides $148,749 to the University of Memphis for research titled "Collaborative Research: PPOSS: Planning: Efficient and Scalable Learning and Management of Distributed Probabilistic Graphs." The funding period is from October 1, 2022 to September 30, 2023. The award supports the exploration and development of an end-to-end system for efficient and scalable management of...
This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...
This Project Grant award from the National Science Foundation's (NSF) Social, Behavioral, and Economic Sciences (CFDA 47.075) program provides $375,000 of funding to Purdue University to develop statistical tools that enable likelihood-based inference for intractable graphical models. The research aims to create computationally and statistically efficient methods for analyzing relationships between multiple variables, with applications in studying psychological disorders, latent skills, and...
This Project Grant award of $160,000.00 from the National Science Foundation (NSF) Division of Mathematical Sciences, under the Mathematical and Physical Sciences (CFDA 47.049) grant program, will support a "Collaborative Research: Partial Priors, Regularization, and Valid & Efficient Probabilistic Structure Learning" project. The research aims to develop new statistical methods and frameworks for reliable uncertainty quantification in high-dimensional structure learning problems...
Carnegie Mellon University was awarded a $500,000 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The university will deliver research and education services focused on developing programming language techniques to make Bayesian inference algorithms more usable, accessible and reliable for challenging data science problems. Specifically, the university aims to apply static analysis, type systems...

This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) in the amount of $389,494 supports research to develop new probabilistic programming languages (PPLs) and enable scalable probabilistic inference. The key objectives are to:

  1. Develop new high-level, ergonomic PPLs that can be compiled to low-level, tractable probabilistic models to enable efficient and reliable inference.

  2. Create new compilation targets that allow scalable probabilistic inference for a broader class of programs.

  3. Design PPLs suitable for teaching probability concepts to broad audiences.

The research aims to bridge the gap between expressive, high-level PPLs and efficient, low-level tractable models, advancing the state-of-the-art in PPL design and implementation. This work will enable new applications in software verification and artificial intelligence that rely on reasoning about uncertain behavior. The project, led by Northeastern University, will run for 5 years starting June 1, 2025.

Generated 4/29/25, 4:16 AM