The Regents of the University of California at Riverside received a $600,000 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations. The award will support research from October 1, 2021 to September 30, 2025 under the Computer and Information Science and Engineering program (CFDA #47.070).
The grant funds collaborative research on precise static analysis of event-based systems. The Computer and Information Science and Engineering program aims to advance computing and communication sciences and engineering. This award furthers that goal by supporting investigator-initiated research and education development in these areas. The university will conduct research on medium-precision static analysis techniques for verifying properties of event-based systems over the four-year grant period. Findings will enhance understanding and use of research cyberinfrastructure to accelerate innovation in computing fields, as intended by the program.
Generated 1/7/24, 3:44 AM