Project Grant 2318937
Award Date 10/1/23
Completion Date 9/30/27
Dollars Obligated $750K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Ann Arbor, MI 48109, USA
Similar Awards
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
- This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
- Federal Project Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded $750,000 under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the Regents of the University of Michigan on June 15, 2025, for a collaborative research project addressing formal verification of floating-point errors in scientific computing. The project, scheduled for completion by May 31, 2029, will develop a scalable...
- This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
- This $500,000 Project Grant was awarded on May 1, 2025 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the Regents of the University of Michigan. The project, titled "CPS: SMALL: LIFTED HYBRIDIZATION: A NEW REPRESENTATION FOR EFFICIENT CONTROL AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS", seeks to develop new theories, algorithms, and tools to enable more effective and robust control of...
- The National Science Foundation awarded a $597,785 Project Grant to Purdue University to develop new techniques for automated verification and synthesis of input generators in property-based testing frameworks. This grant, funded through NSF's Computer and Information Science and Engineering program (CFDA 47.070), aims to enable precise reasoning about the soundness and completeness of software testing generators. The project will focus on developing new specification frameworks, type systems,...
- Federal Project Grant Award Summary The National Science Foundation's Division of Information and Intelligent Systems awarded a $1.0 million Project Grant (CFDA 47.070: Computer and Information Science and Engineering) to the Regents of the University of Michigan, commencing September 1, 2025, and concluding August 31, 2029. This collaborative research initiative develops MemWise, an intelligent tiered memory management system designed to enhance data center efficiency and extend hardware...
- This National Science Foundation (NSF) award under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $175,000 in funding to the Regents of the University of Michigan, doing business as the University of Michigan-Dearborn, for a 2-year project from March 2024 to February 2026. The project aims to develop innovative model-based verification techniques to analyze the safety, reliability, and accuracy of cyber-physical systems (CPS) integrated...
- This $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
- The National Science Foundation (NSF) awarded the Regents of the University of Michigan a $541,887 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program. The award, with a performance period of August 2023 to September 2024, aims to develop an architecture for lightweight data collection in the operating system kernel and use machine learning to discover and deploy improved kernel policies without compromising security. The project, titled...