Project Grant 2546361
- Federal Grant Award Summary The University of Washington received a $130,500 Project Grant from the National Science Foundation (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049), effective August 1, 2025 through July 31, 2027. This award supports fundamental research in algebraic geometry focused on constructing and investigating moduli spaces—mathematical structures that organize families of geometric objects. The principal investigator...
- Federal Project Grant Award Summary The University of Washington received a $190,000 Project Grant from the National Science Foundation (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049), effective August 1, 2025 through July 31, 2027. This award supports fundamental research in algebraic geometry focused on moduli spaces and algebraic stacks. The project aims to extend foundational theorems—including a local structure theorem for algebraic...
- Federal Grant Award Summary The University of Washington received a $125,000 Project Grant from the National Science Foundation (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049), awarded on September 15, 2025, with a completion date of August 31, 2028. This collaborative research project develops theoretical foundations and methodological advances for causal learning from complex machine learning algorithms. The primary products include...
- Federal Project Grant Award Summary The National Science Foundation (NSF), Division of Information and Intelligent Systems, awarded the University of Washington a $500,000 Project Grant effective October 1, 2025, through September 30, 2028, under the Computer and Information Science and Engineering program (CFDA 47.070). The primary deliverable is the development of an online learning platform designed to help university students master complex data visualization tools, with an initial focus...
- Federal Project Grant Award Summary The University of Washington received a $150,000 Project Grant award from the National Science Foundation's Division of Mathematical Sciences (CFDA 47.049 - Mathematical and Physical Sciences program) effective September 1, 2025, through August 31, 2028. This collaborative research initiative, titled "Mathematical Frontiers of Generative AI," delivers theoretical research and mathematical analysis aimed at characterizing the fundamental principles...
- Federal Grant Award Summary The National Science Foundation's Division of Civil, Mechanical, and Manufacturing Innovation awarded $450,064 to the University of Washington under the Engineering program (CFDA 47.041) on June 15, 2026, for a project period extending through May 31, 2029. This project grant funds the development of a mathematical framework and decentralized control strategies enabling teams of robots to efficiently explore and inspect confined spaces, such as aircraft wings and ship...
- Federal Grant Award Summary The University of Washington received a $2.0 million Project Grant from the National Science Foundation's Division of Undergraduate Education under the STEM Education program (CFDA 47.076) effective August 1, 2025, through July 31, 2031. This six-year S-STEM (Scholarships in Science, Technology, Engineering, and Mathematics) Track 2 award provides direct financial support through scholarships to 60 full-time, low-income students pursuing Bachelor's degrees in...
- Federal Project Grant Award Summary The University of Washington received a $370,692 CAREER award from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CFDA 47.070) program, effective June 15, 2025, through May 31, 2030. This project addresses the critical challenge of Large Language Model (LLM)-generated content in online information ecosystems by developing an epistemological framework to...
- Federal Project Grant Award Summary The University of Washington received a $600,000 Project Grant award from the National Science Foundation's Division of Computing and Communication Foundations under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective September 15, 2026, with completion targeted for August 31, 2029. This collaborative research initiative develops artificial intelligence methods to enhance the reliability and safety of large language...
- Federal Project Grant Award Summary The University of Washington received a $908,250 Project Grant from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070), effective August 15, 2025 through July 31, 2028. This award funds research to develop and test game theory-based control algorithms for lower-limb robotic exoskeletons that enable adaptive human-robot collaboration. The...
The University of Washington received a $601,001 Project Grant 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 May 1, 2026 through April 30, 2030. The award funds development of machine-checked, formally verified meshing algorithms that decompose geometric models into triangles or tetrahedra for computational simulations. The primary deliverables include re-implementation of the award-winning Triangle library for Delaunay triangulation in the Rocq proof assistant language, development of reusable arithmetic predicates for verified floating-point operations, and creation of relational data structure methodologies applicable to correct-by-construction geometric software projects. This research addresses critical computational science infrastructure challenges by producing meshing algorithms with formal correctness proofs—a novel approach that improves simulation accuracy and speed while enhancing long-term maintainability of essential geometric software. The project's four interrelated tasks emphasize development of Rocq-verified, staged floating-point predicates and related components that will benefit broader scientific computing applications where mesh generation currently dominates computational cost and constrains numerical accuracy in physics simulations.Federal Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $601.0k | 4/19/26 |