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...
The National Science Foundation (NSF) Division of Computing and Communication Foundations awarded a $593,022 Project Grant to The Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. This grant, under NSF's Computer and Information Science and Engineering (CFDA 47.070) program, supports a project focused on developing new formal verification techniques for concurrent software. The project aims to bridge the gap between intuitive scenario-based reasoning and rigorous...
The National Science Foundation Division of Computing and Communication Foundations awarded Rutgers, The State University a $500,000 Project Grant under the Computer and Information Science and Engineering program (CFDA 47.070) for the period of October 1, 2021 through September 30, 2024. The grant will support research into service rates of computer codes at Rutgers. Specifically, the funding will advance the development and use of research cyberinfrastructure to enable and accelerate discovery...
The Trustees of the Stevens Institute of Technology received a $399,995 Project Grant award from the National Science Foundation on July 15, 2021 to support research activities concluding on June 30, 2024. The grant is funded through the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which aims to advance computing and information sciences through investigator-initiated research and cyberinfrastructure development. Specifically, the grant will fund a collaborative...
The National Science Foundation awarded Princeton University $1,118,988 under the Computer and Information Science and Engineering program (CFDA 47.070) for a three-year project grant titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: FORMALLY VERIFIED NUMERICAL METHODS." The grant aims to advance the development of formally verified numerical methods through a layered approach integrating reasoning about numerical software correctness and accuracy from mathematics to software code....
This $600,000 National Science Foundation project grant supports the development of a generalized framework for responsive static analysis to verify software correctness. Funded under the Computer and Information Science and Engineering program (CFDA 47.070), this three-year award to the University of Colorado Boulder aims to advance abstract interpretation techniques. Researchers will develop novel algorithms enabling abstract interpretation to run more quickly for common use cases while...
The New Jersey Institute of Technology (NJIT) received a $124,306 Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049) to develop new computational methods for time-frequency analysis. Over a three-year period from July 2023 to June 2026, NJIT will explore theories and algorithms to address challenges in time-frequency analysis with applications in industries, sciences, medical technology, and big data analytics....
The National Science Foundation awarded Montclair State University a $173,490 Project Grant under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will support research from July 2021 to June 2023 on developing a bi-trust framework to improve collaboration between humans and robots. The Computer and Information Science and Engineering program aims to advance computing and informatics research and education. This award will further those goals by exploring how...
New York University received a $499,748 project grant award from the National Science Foundation Office of Advanced Cyberinfrastructure on July 15, 2021. The award is part of the Computer and Information Science and Engineering program (CFDA 47.070) and will fund research to develop techniques for tracing runtime anomalies in code execution. Specifically, the grant will support the development of tools and methods to track anomalies during program execution in order to identify vulnerabilities...
The National Science Foundation awarded a $1,490,276 project grant to Rutgers, The State University under the Computer and Information Science and Engineering program (CFDA 47.070). The grant supports research from February 1, 2022 to January 31, 2026 to develop robust and efficient physics-based learning and reasoning capabilities for degraded environments. The Computer and Information Science and Engineering program aims to advance computing and informatics research, education, and...