Project Grant 2442542
Award Date
1/1/25
Completion Date
12/31/29
Dollars Obligated
$287K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Albany, CA 94710, USA
Similar Awards
This $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
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,...
The National Science Foundation (NSF) awarded a $599,337 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Regents of the University of California, doing business as the University of California, Berkeley. The award supports research to investigate Bayesian estimation and constraint satisfaction problems, with a focus on determining the minimum number of observations needed to efficiently infer hidden quantities using powerful algorithmic...
The Regents of the University of California, doing business as the University of California, Berkeley, was awarded a $249,563 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program. The grant will fund a three-year collaborative research project from July 2021 to June 2024 to develop graphical modeling techniques for multivariate functional data. The Computer and Information Science and Engineering program supports...
This Project Grant award for $213,679.00 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program. The award will support the development of a compositional framework for reasoning about the probabilistic behaviors of cyber-physical systems (CPS) that incorporate unreliable machine learning components. The project aims to create rigorous stochastic specification formalisms, data-driven modeling...
The Regents of the University of California, Berkeley was awarded a $882,373 Project Grant by the National Science Foundation (NSF) Division of Computing and Communication Foundations under the CFDA Program 47.070 "Computer and Information Science and Engineering". The funding supports research exploring quantum algorithms, complexity, testing, and benchmarking, including efforts to develop primitives for benchmarking near-term quantum computers and foundational work on the...
This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
This Project Grant award of $212,345.00 was provided by the National Science Foundation (NSF) under its Computer and Information Science and Engineering (CFDA 47.070) program. The primary objectives of this 5-year project are to investigate and mitigate the risks of metastable failures in large, distributed software systems such as cloud platforms. The research aims to: 1) study the patterns of metastable failures in vulnerable distributed algorithms and systems, 2) design new...
This Project Grant award, with Federal Grant Award ID 2425350, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The award, totaling $150,000.00, supports collaborative research focused on the "structure vs randomness" paradigm, which aims to identify useful structure and random-like properties in mathematical objects for analysis and algorithm design. The project, conducted by the...
This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $400,000.00 to the University of California, Berkeley (UC Berkeley) to conduct research on understanding, visualizing, and attributing multimodal generative models - large-scale AI models that generate both text and images. The research aims to develop new systematic frameworks for analyzing the internal mechanisms and...