Project Grant 2451734
Award Date
5/1/25
Completion Date
4/30/27
Dollars Obligated
$146K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Portland, OR 97202, USA
Similar Awards
This $875,000 Project Grant awarded by 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 differential equations and hybrid systems. The framework combines continuous state evolution with discrete state changes, enabling rigorous modeling and verification for applications in epidemiology, medical devices, and autonomous systems. Key innovations include a novel...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award of $389,494 to Northeastern University will fund research to develop new probabilistic programming languages (PPLs) that bridge the gap between high-level ergonomic languages and low-level tractable probabilistic models.
The key objectives are to: (1) develop new high-level ergonomic PPLs that compile to low-level tractable probabilistic...
This $149,999 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) aims to advance probabilistic verification tool development for synthetic biology. The award, effective August 15, 2024 through July 31, 2026, will be performed by Utah State University (USU). The project seeks to develop a robust and user-friendly probabilistic model checking (PMC) framework integrated with existing genetic...
This Project Grant award of $150,000 was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Rutgers, The State University. The project aims to develop new automated techniques to formally verify the correctness of the abstract interpretation algorithms in the extended Berkeley Packet Filter (eBPF) verifier within the Linux kernel. This would help ensure the safety and security of eBPF software and the Linux...
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,...
This $213,679 Project Grant award, funded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070), supports the development of novel design and verification methodologies for learning-enabled cyber-physical systems (CPS). The project, led by researchers at the University of California, Berkeley, aims to create a compositional framework for reasoning about the probabilistic behaviors of CPS composed of unreliable...
This $174,999 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program will fund a research project at Monmouth University Inc. to develop a formal verification framework for precisely analyzing relational quantitative properties in software programs that utilize mutable arrays. The project aims to address limitations in existing tools by creating more precise and broadly applicable techniques for...
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...
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...
This $270,913 federal Project Grant award, funded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program, supports research to develop qualitative and quantitative methodologies for assessing the safety of learning-enabled autonomous systems. The project, led by the Augusta University Research Institute, Inc. (AURI), will target foundational challenges in capturing uncertainties from environments and providing timely, comprehensive,...