Project Grant 2540652
- Federal Project Grant Award Summary The University of Michigan received a $329,020 CAREER award from the National Science Foundation (NSF), Division of Information and Intelligent Systems, under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective June 15, 2025, through May 31, 2030. This project grant funds the development of novel analytical methodologies and computational tools designed to enable causal inference and robust statistical modeling on...
- Federal Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded a CAREER grant totaling $530,283 to the University of Michigan (Regents of the University of Michigan) on May 1, 2026, for a five-year project period concluding April 30, 2031. This award, issued under the Computer and Information Science and Engineering program (CFDA 47.070), funds theoretical and algorithmic research on path problems in graphs and networks. The project...
- Federal Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded the University of Michigan a Project Grant of $324,789 under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective October 1, 2025, with completion by January 31, 2026. This CAREER award will develop theoretically-grounded algorithms and methodologies to enable machine learning (ML) systems to operate under application-specific...
- 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...
- Federal Project Grant Award Summary The University of Michigan received a $215,000 Project Grant from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), awarded September 15, 2025, with completion targeted for August 31, 2027. This collaborative research project develops technological solutions to address focus ambiguity in Visual Question Answering (VQA)...
- Federal Grant Award Summary The University of Michigan received a $102,399 Project Grant award from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective August 15, 2025, with a completion date of July 31, 2027. This planning grant supports the development of an AI-ready testbed for studying municipal government service delivery at scale. The project will deliver four...
- Federal Grant Award Summary The University of Michigan received a $244,516 Project Grant from the National Science Foundation's Division of Behavioral and Cognitive Sciences under the Social, Behavioral, and Economic Sciences program (CFDA 47.075), effective July 1, 2025, through June 30, 2028. This award funds comprehensive language documentation and analysis of three linguistically distinctive languages from a multilingual regional area. The primary deliverables include detailed grammars,...
- Federal Grant Award Summary The University of Michigan received a $320,000 project grant award from the National Science Foundation (NSF) under the NSF Technology, Innovation, and Partnerships program (CFDA 47.084), with an award date of August 1, 2025, and completion date of July 31, 2026. This Phase 1 POSE (Pathways to Enable Open-Source Ecosystems) grant supports the development and establishment of a sustainable open-source ecosystem around JASECI, a novel artificial intelligence (AI)...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded $249,999 to the University of Michigan-Dearborn under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) on January 15, 2026, for collaborative research through December 31, 2028. The project will develop a physics-informed probabilistic prognostics platform called Modular Analytics for Prognostics with Small Data (MAPS), designed to enable...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Computer and Network Systems awarded the University of Maryland, College Park a Project Grant of $331,428 (CFDA 47.070 – Computer and Information Science and Engineering) commencing October 1, 2025, with a completion date of September 30, 2030. This CAREER award supports research focused on secure code generation with large language models (Code LLMs), addressing critical security vulnerabilities in AI-driven...
The National Science Foundation's Division of Information and Intelligent Systems awarded the University of Michigan a Project Grant totaling $424,806 (award date: May 1, 2026; completion date: April 30, 2031) under the Computer and Information Science and Engineering program (CFDA 47.070). This CAREER award supports the development of formal verification methodologies and tools for parsing components and type checkers. The project will deliver domain-specific languages based on dependent Lambek calculus embedded in the Lean proof assistant, enabling mathematical verification of parser correctness, safety, and security without manual human intervention. The research aims to create practical libraries and verified parser generators that can be integrated into larger formally verified software systems. The deliverables encompass embedded domain-specific languages for grammar specification and parser verification, specialized libraries targeting multiple parsing domains including regular expressions, context-free grammars, data-dependent formats, and type systems, and verified parser generator tools within the Lean framework. By providing mathematically proven security guarantees for parsing components—including those automatically generated by artificial intelligence systems—this project addresses a critical gap in software security verification. The work will be performed at the University of Michigan's Ann Arbor campus and will support the development of modular, reusable verified parsing components applicable across diverse software domains.Federal Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $424.8k | 4/24/26 |