Project Grant 2211505
Award Date
10/1/22
Completion Date
9/30/25
Dollars Obligated
$500K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Stanford, CA 94305, USA
Similar Awards
The National Science Foundation (NSF) awarded a $225,000 Project Grant under the Mathematical and Physical Sciences (CFDA 47.049) program to The Leland Stanford Junior University. The 3-year grant, effective July 1, 2024, aims to gain a deeper theoretical understanding of the statistical properties of neural networks, which have revolutionized science and engineering. Key research directions include studying the distinguishing features of deep neural networks compared to classical statistical...
The National Science Foundation (NSF) awarded a $1,174,741 Project Grant to Rector & Visitors Of The University Of Virginia, doing business as the University of Virginia, to conduct research under the NSF Division of Computing and Communication Foundations program (CFDA 47.070). The project, titled "SHF: MEDIUM: MORE RELIABLE IMAGE NETWORKS THROUGH SCENE-BASED SPECIFICATION, NEURO-SYMBOLIC TRAINING, AND SYSTEMATIC SPECIFICATION-DRIVEN TESTING", seeks to develop techniques to assure...
This $250,000 Project Grant, awarded by the National Science Foundation's Computer and Information Science and Engineering (CISE) program, supports a collaborative research effort focused on developing formal methods to synthesize and verify in-memory computing systems for neural networks. The project aims to: Verify the reliability of analog and digital in-memory computing (IMC) circuits used to accelerate neural networks, and Leverage machine learning and formal methods to synthesize...
The National Science Foundation awarded a $492,818 project grant to Stanford University from the Computer and Information Science and Engineering program (CFDA 47.070) for work titled "Efficient, Automatic, and Trustworthy Smart Contract Verification." The goal of this three-year project beginning October 1, 2021 is to develop techniques for formally verifying smart contracts to ensure they are efficient, automatically checked for security vulnerabilities, and produce trustworthy...
The National Science Foundation Division of Computing and Communication Foundations awarded a $500,000 Project Grant to Princeton University from January 1, 2022 to December 31, 2024 to support collaborative research on probabilistic, geometric, and topological analysis of neural networks. This award falls under the Mathematical and Physical Sciences program (CFDA 47.049), which aims to strengthen the Nation's scientific enterprise through advancing knowledge and understanding of major problems....
The University of California, Santa Barbara (UCSB) received a $592,720 Project Grant from the National Science Foundation (NSF) under the Computer and Information Science and Engineering program (CFDA 47.070). The grant funds research to verify the safety and reliability of deep neural networks through innovative domain-specific architectures such as quantum and probabilistic computing platforms. At the device level, UCSB will improve the energy efficiency of existing probabilistic-bit designs...
The National Science Foundation (NSF) awarded a $260,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of Illinois for the project "COLLABORATIVE RESEARCH: SLES: VERIFYING AND ENFORCING SAFETY CONSTRAINTS IN AI-BASED SEQUENTIAL GENERATION". This 3-year project aims to develop formal verification methods and constrained generation techniques to ensure the safety and reliability of AI models used for sequential data processing...
This $1.6 million Project Grant from the National Science Foundation's Computer and Information Science and Engineering program will fund research at the University of Pennsylvania from October 2022 through September 2026. The research focuses on developing theoretical tools to build an understanding of why deep neural networks (DNNs) work and when they can fail. Investigators will seek to identify common themes in how artificial and biological systems like the human brain learn. They will...
The National Science Foundation (NSF) awarded the University of California, Los Angeles (UCLA) a $539,999 project grant under the Computer and Information Science and Engineering (CISE) program. The grant, effective October 1, 2023 through September 30, 2026, will fund a collaborative research project to develop formal verification frameworks and training/inference algorithms to ensure the safety and adherence to constraints of AI-based sequential generation models across critical applications...
The National Science Foundation awarded a $666,000 Project Grant to The Trustees of Columbia University in the City of New York (Columbia University) through the Computer and Information Science and Engineering Program (CFDA #47.070). The objective is to improve the performance, robustness, generalizability, and efficiency of deep learning models for software assurance tasks such as bug detection, debugging, test input generation, and test suite prioritization. The research focuses on encoding...