Project Grant 2211588

Award Date 9/1/22
Completion Date 8/31/25
Dollars Obligated $300K
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Gainesville, FL 32611, USA
Similar Awards
The National Science Foundation awarded Iowa State University a $314,785 Project Grant under the Computer and Information Science and Engineering program to develop techniques for variability-aware software analysis and testing from September 1, 2022 to August 31, 2025. The University will extend software analysis methods to automatically extract feature constraints from program code and check them against requirements specifications, aiming to identify any inconsistencies and derive tests...
The University of Florida was awarded a $305,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070) to develop tools and methods for information flow validation in system-on-chip designs. The three-year award running from October 1, 2022 to September 30, 2025 will support research to create a scientific foundation and comprehensive automated framework of integrated tools to systematically address challenges in...
The University of Florida was awarded a $331,244 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research from October 2021 through September 2023 to develop novel biologically inspired methods for analyzing multilayer networks. The Computer and Information Science and Engineering program aims to advance computing and informatics research, cyberinfrastructure development, and related...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The key objectives are to: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
The University of Florida received a two-year, $158,995 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant funds collaborative research to solve bait learning problems for large-scale DNA enrichment. Specifically, the award supports investigator-initiated efforts to develop and apply research cyberinfrastructure technologies that enable and accelerate scientific discovery and innovation in...
This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CFDA 47.070) program provides $209,708 in funding to the University of Florida for a collaborative research project titled "VERIFUZZ: Light-Weight Formal Approaches for Scalable Hardware Fuzzing". The project aims to improve the scalability and effectiveness of hardware security validation and verification, particularly for modern embedded systems that rely on hardware...
The University of Florida received a $107,801 Project Grant award from the National Science Foundation Division of Information and Intelligent Systems on August 15, 2021 to support research under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant supports the development of disciplinary knowledge guided big spatial structured models for geoscience applications through July 31, 2022. The Computer and Information Science and Engineering program aims...
The University of Florida was awarded a three-year, $105,999 Project Grant from the National Science Foundation's STEM Education program (CFDA 47.076) to support the collaborative research project "COLLABORATIVE RESEARCH: SATC: EDU: HARDWARE SECURITY EDUCATION FOR ALL THROUGH SEAMLESS EXTENSION OF EXISTING CURRICULA." Under this award, the University of Florida will work to develop and integrate hardware security education modules into existing computer science and engineering...
The University of Florida (UF) Division of Sponsored Research was awarded a $229,988 Project Grant on June 15, 2024 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The grant supports a research project titled "COLLABORATIVE RESEARCH: CPS: SMALL: NEURO-SYMBOLIC BRIDGE: FROM PERCEPTION TO ESTIMATION & CONTROL". The project aims to develop methods for aligning the uncertainty in neural network-based perception...

The University of Florida was awarded a three-year, $300,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering program (CFDA 47.070) to conduct research towards variability-aware software analysis and testing. The university will extend software analysis techniques to automatically extract feature constraints from program code and check them against requirements specifications. Researchers will leverage variability-aware symbolic execution and static analysis at the intermediate representation level to derive variability constraints and evaluate their impact on functional and non-functional properties. The university will apply the proposed techniques to real-world systems with safety-critical constraints, develop challenge problems for researchers and coursework, and train students in increasingly automated software analysis for complex, configurable systems. The award period is from September 1, 2022 to August 31, 2025.

Generated 1/6/24, 11:37 AM