Project Grant 2409796
Award Date
10/1/23
Completion Date
8/31/27
Dollars Obligated
$250K
Funding Federal Agency
Division of Information and Intelligent Systems
Awarding Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Albany, NY 12222, USA
Similar Awards
This NSF-funded Project Grant award, with a total funding amount of $250,000, supports a collaborative research effort to develop formal methods for the synthesis and verification of in-memory computing systems. The key objectives are to create formal methods for synthesizing neural networks in computer memory and proving their correctness, as well as verifying neural networks accelerated using analog in-memory computing. The project aims to enable the deployment of robust AI models on...
This $183,868 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports a collaborative research effort to develop formal methods for synthesizing and verifying in-memory computing systems for neural networks. The key products and services to be delivered include: Creating formal methods to synthesize and verify neural networks accelerated using analog in-memory computing (IMC) systems,...
This $269,579 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support research at Arizona State University (ASU) to develop an innovative hybrid in-memory computing system. The overarching goal is to design and validate a new hardware platform that integrates emerging non-volatile memory and static RAM technologies, along with specialized deep learning algorithms, to achieve significant...
This Project Grant award for $211,129 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award was granted to Northeastern University on January 1, 2025, with a target completion date of May 31, 2025. The project aims to develop a design framework for efficient information processing that leverages non-binary representations and in-memory computing, inspired by neural networks and...
This three-year, $500,000 project grant from the National Science Foundation's Division of Computing and Communication Foundations, under the Computer and Information Science and Engineering program (CFDA 47.070), will support research to advance neural network verification techniques. The grantee, Stanford University, will partner with the Hebrew University of Jerusalem to pursue three goals: developing more scalable verification methods using abstraction and compositional reasoning;...
This $300,000 Project Grant award, funded by the National Science Foundation (NSF) Integrative Activities program (CFDA 47.083), supports research by the University of South Alabama (USA) to investigate memristor-based computing-in-memory (CIM) for neuromorphic systems. The project aims to explore novel AI computing systems from a hardware perspective, focusing on the design, optimization, and fabrication of memristor-based CIM technology for improved energy efficiency in AI applications like...
This Project Grant award from the National Science Foundation's Engineering program (CFDA 47.041) provides $305,999 to the University of Oklahoma to develop a novel hybrid CMOS+X-based in-memory analog computing framework. The framework will utilize industry-scale 3D NAND flash memory chips and academic laboratory-scale molecular memristors to create a highly energy-efficient neuromorphic computing system, with the goal of significantly improving the biological plausibility of artificial...
This National Science Foundation (NSF) Technology, Innovation, and Partnerships (CFDA 47.084) Project Grant award of $210,000 to Arizona State University (ASU) aims to develop an efficient, situation-aware Artificial Intelligence (AI) processing system leveraging advanced 2-terminal spin-orbit torque magnetic random access memory (SOT-MRAM) technology. The key products and services to be delivered under this 2-year project include: 1) exploring unconventional spin materials and novel device...
The National Science Foundation (NSF) awarded a 5-year, $214,287 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Research Foundation For The State University Of New York (RF SUNY), doing business as Stony Brook University. The goal of this research is to advance the foundations of formal methods in order to make formal verification of AI-based cyber-physical systems (CPS) practical. The project investigates approximation approaches where an...
The National Science Foundation (NSF) awarded a Project Grant of $299,998 on March 1, 2024 to the University of Louisiana at Lafayette, operating as the Office of Research, under the Integrative Activities (IA) program (CFDA 47.083). This 5-year project aims to develop a high-performance, reliable, and energy-efficient data processing platform by combining in-memory computing and unary computing techniques. The platform will address key technical challenges of existing in-memory computing...