Project Grant 2504578
Award Date
7/1/25
Completion Date
6/30/28
Dollars Obligated
$593K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
College Park, MD 20742, USA
Similar Awards
This Project Grant award of $300,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports collaborative research on the foundations of zero-knowledge computation. The award aims to develop programming abstractions and techniques that simplify the development, maintenance, and security evaluation of software systems leveraging non-interactive zero-knowledge (NIZK) proofs. Key research thrusts include: 1) combining code...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is funding a collaborative research initiative to develop an automated framework for designing and deploying parallel zero-knowledge proof (ZKP) protocols. The $299,499 award to Northwestern University aims to advance the practical application of ZKP protocols, which allow parties to verify the correctness of a statement without revealing...
This $597,201 federal Project Grant awarded on June 1, 2024 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of a novel programming language ecosystem for higher-order software contracts. The project aims to investigate the design, theory, implementation, and practice of a contract-centric ecosystem that can help developers better visualize, debug, and understand the interactions between software...
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 federal Project Grant award, totaling $300,000.00, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant supports a collaborative research project that aims to develop new semantic metrics to measure code complexity and guide software developers in writing more comprehensible code. The key objectives are to: (1) validate the correlation between code verifiability and human comprehension, (2)...
This $449,999.00 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research by Yale University to develop an automated framework for parallelizing and optimizing zero-knowledge proof (ZKP) protocols. ZKP protocols allow a party to prove the correctness of a statement without revealing sensitive information, with applications in areas like blockchain privacy and verifiable computation. The project aims...
This Project Grant award, with a total funding of $234,236, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The purpose of the award is to develop new foundations for machine-verified proof in programming languages and mathematics, enabling increased confidence in the correctness of proven results, large-scale collaboration on future results, and a database of relevant facts for automated...
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 $150,000 Project Grant was awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The goal of the project is to develop new automated techniques to formally verify the correctness of the abstract interpretation algorithms used in the Extended Berkeley Packet Filter (eBPF) verifier within the Linux kernel. This work aims to enhance the security and reliability of the widely deployed eBPF software and...
This Project Grant award for $287,415.00 was provided by the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to The Regents of the University of California, doing business as the University of California, Berkeley (UC Berkeley). The award will fund research to develop new trust models and protocols for consensus systems that recognize the uncertain nature of large-scale distributed systems. Key focus areas include...