Project Grant 2139845
Award Date
9/1/21
Completion Date
8/31/23
Dollars Obligated
$199K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Lincoln, NE 68503, USA
Similar Awards
The National Science Foundation Division of Computer and Network Systems awarded a $766,000 Project Grant to the University of Nebraska from October 1, 2021 to September 30, 2025 under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant funds research to redesign Internet congestion control mechanisms for improved performance and verifiability. Specifically, the University of Nebraska will conduct investigator-initiated research and develop...
The National Science Foundation awarded a $515,998 project grant to the University of Nebraska-Lincoln from October 1, 2021 through September 30, 2024 under the Computer and Information Science and Engineering program (CFDA 47.070). The grant funds the CNS CORE: SMALL project to support the development of efficient interoperability testing of heterogeneous network protocol implementations. Specifically, the University of Nebraska will deliver testing infrastructure and methodology to validate...
This $348,576 project grant award from the National Science Foundation's Integrative Activities (CFDA 47.083) program supports research to enhance the safety, reliability, and explainability of learning-enabled autonomous systems. The University of Nebraska, Lincoln is the primary awardee and will develop new modeling, specification, and verification techniques and tools to formally validate the safety and robustness of deep neural networks and neural network control systems before deploying...
This $149,343 Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program supports the development of a new quantitative verification approach for temporal properties of learning-enabled cyber-physical systems (LE-CPS). The key objectives are to: Develop a qualitative and quantitative verification approach for LE-CPS at the system level based on Probstar reachability, providing the precise probability of...
This National Science Foundation (NSF) award under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $246,883 to the University of Nebraska to develop the Adaptable Realistic Benchmark Generator for Verification (ARG-V) infrastructure. The goal of the ARG-V project is to automatically obtain a current, realistic set of benchmarks for program verifiers to use in the SV-COMP software verification competition. The project will leverage existing...
The National Science Foundation Division of Computing and Communication Foundations awarded a $274,242 Project Grant to Northeastern University on June 15, 2021 with a completion date of October 31, 2023. The grant is part of the Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in all areas of computing, communications, and information science and engineering. Under this award, Northeastern University will...
This three-year National Science Foundation Project Grant of $287,995 provides funding for collaborative research on weak derandomizations in time and space complexity. The grant is awarded under the Computer and Information Science and Engineering program to the University of Nebraska from October 2021 through September 2024. As the prime awardee, the University of Nebraska will work with researchers to advance understanding of computational complexity theory through investigating...
The National Science Foundation (NSF) awarded a $339,977 Project Grant to the University of California, Santa Cruz (UCSC) for the "COLLABORATIVE RESEARCH: SHF: SMALL: RUI: KEYSTONE: MODULAR CONCURRENT SOFTWARE VERIFICATION" project under the NSF's Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This 3-year project aims to advance the field of multi-threaded software verification by developing new specification techniques and verification tools. The key...
Northeastern University was awarded a $498,605 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The three-year award will support research into "BEYOND BEHAVIORAL SOFTWARE CONTRACTS" from July 2021 through June 2024. The Computer and Information Science and Engineering program aims to advance computing and communication sciences through investigator-initiated research and education. This...
This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...