Project Grant 2404036
Award Date
11/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
Miami, FL 33199, USA
Similar Awards
This federal Project Grant award from the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) provides $183,868 to the University of Florida to conduct collaborative research on the synthesis and verification of in-memory computing systems using formal methods. 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...
This $250,000 Project Grant, awarded by the National Science Foundation's Computer and Information Science and Engineering (CISE) program, supports a collaborative research effort focused on developing formal methods to synthesize and verify in-memory computing systems for neural networks. The project aims to: Verify the reliability of analog and digital in-memory computing (IMC) circuits used to accelerate neural networks, and Leverage machine learning and formal methods to synthesize...
This $189,000 Project Grant award, provided by the National Science Foundation (NSF) Integrative Activities (CFDA 47.083) program, supports the development of a novel hybrid CMOS+X-based in-memory analog computing framework. The project aims to emulate the efficiency of the human brain through neuromorphic in-memory computing fueled by artificial synapses and neurons. Key components include industry-scale 3D NAND flash memory chips and academic laboratory-scale molecular memristors, which will...
This four-year, $921,514 National Science Foundation project grant supports the development of a comprehensive modeling framework for evaluating in-memory computing fabrics at the University of Notre Dame. The framework will enable rapid design-space exploration of application-level workloads assuming emerging in-memory computing technologies for artificial intelligence, machine learning, bioinformatics, and graph processing. Investigators will develop device, circuit, and architectural models...
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 $622,431 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports research to develop energy-efficient computing systems for artificial intelligence (AI) and machine learning applications. The key technical aims include: Creating a vertical memcapacitor device that can be integrated into the backend of CMOS chip manufacturing for 3D integration; Developing memcapacitor-based in-memory computing...
This $300,000 Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program will support research to develop new error-correcting codes for reliable in-memory computing in next-generation artificial intelligence (AI) systems. The project, titled "COLLABORATIVE RESEARCH: NSF-BSF: CIF: SMALL: ERROR-CORRECTING CODES FOR NEXT-GENERATION ARTIFICIAL INTELLIGENCE," will explore a new approach called...
This Project Grant award from the National Science Foundation (NSF) Integrative Activities program (CFDA 47.083) provides $300,000 to the University of South Alabama (USA) to investigate memristor-based computing-in-memory (CIM) for neuromorphic systems. The key objectives are to explore the design, optimization, and fabrication of memristor-based CIM for AI applications, with a focus on enhancing energy efficiency compared to traditional AI computation. The 2-year project, commencing on January...
The National Science Foundation (NSF) awarded a Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Arizona State University (ASU) in the amount of $392,619 for the period from October 1, 2024 to May 31, 2027. The grant funds the development of a hybrid in-memory computing system that integrates non-volatile resistive memory (RRAM) and static random access memory (SRAM) technologies. The goal is to create an energy-efficient, high-performance, and...
This Project Grant award from the National Science Foundation (NSF) Integrative Activities program (CFDA 47.083) provides $299,998 to the University of New Mexico (UNM) to develop new formal methods for verifying and improving the safety of learning-enabled cyber-physical systems. The research will focus on three core thrusts: 1) computing size-reduced formal abstractions for AI/ML system components to enable safety verification, 2) extending rigorous reachability analysis to verify safety in...