Project Grant 2242786
Award Date
3/1/23
Completion Date
2/28/26
Dollars Obligated
$583K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Augusta, GA 30912, USA
Similar Awards
The National Science Foundation awarded a $426,413 project grant to Augusta University Research Institute, Inc. dba Auri to support research titled "SHF: SMALL: SEMANTICALLY AND PRACTICALLY GENERALIZING GRADED MODAL TYPES" under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year project beginning April 15, 2021 will advance development of research cyberinfrastructure to enable and accelerate discovery and innovation in computing,...
This Project Grant award from the National Science Foundation's (NSF) Engineering program (CFDA 47.041) provides $250,000 to the University of Texas at Austin to design and experimentally demonstrate reversible and reservoir computing systems using magnetic skyrmions. The key products and services to be delivered under this 3-year award include: Co-designing skyrmion-based reversible logic gates and developing a roadmap for skyrmion reversible computing. This will involve fabricating and...
This $270,913 federal Project Grant award, funded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program, supports research to develop qualitative and quantitative methodologies for assessing the safety of learning-enabled autonomous systems. The project, led by the Augusta University Research Institute, Inc. (AURI), will target foundational challenges in capturing uncertainties from environments and providing timely, comprehensive, and...
The National Science Foundation awarded a $600,000 Project Grant to The Regents of the University of California under the Computer and Information Science and Engineering program (CFDA 47.070). The grant supports research from January 2023 through December 2025 that studies various types of dynamical processes using mathematical techniques from theoretical computer science. Specifically, the project analyzes classical reversible Markov chains, less classical non-reversible Markov chains, and...
This Project Grant award of $263,443 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund research by Augusta University Research Institute, Inc. to develop scalable, message-efficient distributed algorithms. The overarching goal is to substantially improve the understanding of the message complexity of fundamental problems in distributed computing, including classical problems like maximal independent set, graph...
This $599,996 National Science Foundation project grant supports research at Augusta University Research Institute, Inc. to develop new techniques for securely querying massive scientific datasets in cloud environments. Specifically, the grant funds research to extend the state-of-the-art in encrypted data querying methods to better support the distinct characteristics of scientific data and typical queries. Key areas of focus include developing new encryption and query processing techniques...
The National Science Foundation (NSF) awarded a $465,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to The Regents of the University of Colorado to establish a Research Experiences for Undergraduates (REU) site at the University of Colorado, Colorado Springs. The 3-year project will engage 10 undergraduates per year in cutting-edge research on natural language processing, including the use and security of large language models and quantum computing...
This $174,999 Project Grant was awarded by the National Science Foundation (NSF) through its Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Monmouth University Inc. The project aims to develop a formal verification framework to enable precise and general reasoning about relational quantitative properties in programs that use mutable arrays. Key objectives include leveraging fine-grained analysis techniques to improve the accuracy of verification results, and...
This Project Grant award of $366,160 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the University of Rochester. The funding will support the development of practical formal methods capable of capturing the correctness expectations of numerical algorithm designers as formal requirements, as well as formal models that can represent non-standard hardware and bridge behavioral differences...
This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...