Project Grant 2220408
Award Date
10/1/22
Completion Date
9/30/26
Dollars Obligated
$750K
Funding Federal Agency
Division of Information and Intelligent Systems
Awarding Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Boston, MA 02115, USA
Similar Awards
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $389,494 to Northeastern University to develop new probabilistic programming languages (PPLs) that bridge the gap between high-level ergonomic languages and low-level tractable models. The key objectives are to: (1) create new high-level ergonomic PPLs that compile to low-level tractable probabilistic models; (2) develop new compilation...
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...
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...
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 National Science Foundation (NSF) Project Grant award of $384,214 to Northeastern University will develop statistical inference methods that leverage advanced techniques like reinforcement learning, Bayesian statistics, and machine learning. The project aims to 1) incorporate expert knowledge into the modeling process without requiring expert oversight, and 2) systematize data collection for accurate inference of complex systems and processes. The proposed approaches will be applied in...
The National Science Foundation (NSF) awarded a $269,310 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Ohio State University to develop a unified, tunable full-stack foundation for highly expressive chain-forward programming that can be deployed at scale. The 5-year project, which commenced on August 1, 2023, aims to advance declarative reasoning capabilities by scaling to structured, higher-order, and probabilistic formulations, as well as...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) provides $145,557 to The Reed Institute (Reed College) to improve the practice of verifying probabilistic programs. Probabilistic programs capture randomized behavior and are key components of many machine learning algorithms. However, techniques for verifying the safety of probabilistic programs are under-studied compared to traditional deterministic programs. The...
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...
The National Science Foundation (NSF) awarded a $540,000 Project Grant to Northeastern University under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant, awarded on July 1, 2023 with a completion date of June 30, 2026, supports research on programming and reasoning about "actors" that share state in concurrent software applications. The key products and services to be delivered under this grant include: Developing a novel notation and programming...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $1,164,216 to Washington State University to develop a unified, full-stack foundation for highly expressive, scalable declarative programming systems. The project investigates methodologies for bridging the gap between high-level specifications and high-performance implementations of complex reasoning tasks on next-generation supercomputing...