Data / Research funding / FMitF: Formal Methods in the F
NSF program FMitF: Formal Methods in the F (094Y00): 104 awards, $37.5M to 58 organizations
104 NSF awards ($37.5M) under the program element FMitF: Formal Methods in the F (094Y00) to 58 organizations, fiscal years 2022 to 2026, read 2026-11-03.
SpecStream is the live web data engine for teams and agents. It reads the NIH and NSF award files each time the agencies update them, and this page is that reading, joined to the open federal funding opportunities on Grants.gov. Ask for the awards you track by topic, organization or state and new awards arrive in your sheet, CRM, Slack or agent as the agencies publish them.
- Program element code
- 094Y00
- Directorate
- Directorate for Computer and Information Science and Engineering
- Division
- CSE - Core Programs
Awards
104 awards in the window.
| Award | Agency | Institute or division | Fiscal year | Amount in window | Start | End | Principal investigator | Source |
|---|---|---|---|---|---|---|---|---|
| FMitF: Track I: Automated Learning of Quantitative Network Models (ALOFT) | NSF | CSE - Core Programs | 2025 | $904,686 | September 1, 2025 | August 31, 2029 | Alexandra Silva | nsf.gov |
| FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, and Video Generation | NSF | CSE - Core Programs | 2025 | $904,686 | October 1, 2025 | September 30, 2029 | Huan Zhang | nsf.gov |
| SHF: FET: Medium: Designing and Synthesizing a Quantum Circuit Compiler | NSF | Software & Systems Foundations | 2022 | $900,000 | July 1, 2022 | June 30, 2027 | Aws Albarghouthi | nsf.gov |
| FMitF: Track 1: Pay-as-you-go Consistency Verification for Distributed System Designs | NSF | CSE - Core Programs | 2024 | $900,000 | August 1, 2024 | July 31, 2028 | Wyatt Lloyd | nsf.gov |
| FMitF: Track I: Probabilistic Modeling and Analysis Tools for Intermittent Systems | NSF | CSE - Core Programs | 2025 | $899,996 | October 1, 2025 | September 30, 2029 | Jan Hoffmann | nsf.gov |
| FMitF: Track I: Abstraction Refinement-guided Program Synthesis for Verifiable Robot Learning | NSF | CSE - Core Programs | 2025 | $899,109 | September 1, 2025 | August 31, 2028 | He Zhu | nsf.gov |
| FMitF: Track I: Performance Verification for Networked Systems | NSF | CSE - Core Programs | 2024 | $875,000 | September 1, 2024 | August 31, 2028 | Kenneth McMillan | nsf.gov |
| FMitF: Track I: Verified Probabilistic Programming for Hybrid Systems | NSF | CSE - Core Programs | 2024 | $875,000 | September 1, 2024 | August 31, 2028 | Sriram Sankaranarayanan | nsf.gov |
| FMitF : Track I: Aligning Code-Generating Models with Formal Specifications | NSF | CSE - Core Programs | 2024 | $875,000 | October 1, 2024 | September 30, 2028 | Loris DAntoni | nsf.gov |
| FMitF: Track I: Formally Verified Programmable Network Switches | NSF | CSE - Core Programs | 2024 | $865,209 | January 15, 2025 | December 31, 2027 | Adam J Chlipala | nsf.gov |
| FMitF: Track 1: Foundational Approaches for End-to-end Formal Verification of Computational Physics | NSF | CSE - Core Programs | 2022 | $750,000 | October 1, 2022 | September 30, 2027 | Jean-Baptiste Jeannin | nsf.gov |
| FMitF: Track I: Principles for Modular Probabilistic Programming and Inference | NSF | CSE - Core Programs | 2022 | $750,000 | October 1, 2022 | September 30, 2026 | Steven Holtzen | nsf.gov |
| FMitF: Track I: Synthesizing Semantic Checkers for Runtime Verification of Production Distributed Systems | NSF | CSE - Core Programs | 2023 | $750,000 | October 1, 2023 | September 30, 2027 | Peng Huang | nsf.gov |
| FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations | NSF | CSE - Core Programs | 2023 | $750,000 | October 1, 2023 | September 30, 2027 | Isil Dillig | nsf.gov |
| FMitF: Track I: Safe, Efficient Persistent Memory Systems | NSF | CSE - Core Programs | 2022 | $749,999 | October 1, 2022 | September 30, 2027 | Brian C Demsky | nsf.gov |
| FMitF: Track I: A Holistic Approach Towards Online Monitoring of Integrated Circuits and Systems | NSF | CSE - Core Programs | 2023 | $749,998 | October 1, 2023 | September 30, 2027 | Konstantinos Mamouras | nsf.gov |
| FMitF: Track I: Flexible Data Plane Programming | NSF | CSE - Core Programs | 2023 | $749,972 | October 1, 2023 | September 30, 2027 | Xiaokang Qiu | nsf.gov |
| FMitF: Track I: Safe Multi-Agent Reinforcement Learning with Shielding | NSF | CSE - Core Programs | 2023 | $749,963 | October 1, 2023 | September 30, 2027 | Stavros Tripakis | nsf.gov |
| FMitF: Track I: Generative Neural Network Verification in Medical Imaging Analysis | NSF | CSE - Core Programs | 2022 | $747,533 | October 1, 2022 | September 30, 2026 | Taylor T Johnson | nsf.gov |
| Collaborative Research: FMitF: Track I: JIVe: Just in Time Verification for High Performance Compilers | NSF | CSE - Core Programs | 2024 | $640,000 | September 1, 2024 | August 31, 2027 | Liyi Li | nsf.gov |
| FMitF: Track I: Formal Verification for Mechanism Design | NSF | CSE - Core Programs | 2023 | $609,999 | September 15, 2023 | August 31, 2027 | Justin Hsu | nsf.gov |
| Collaborative Research: FMitF: Track I: Verifying distributed systems for liveness with Byzantine participants | NSF | CSE - Core Programs | 2025 | $606,430 | October 1, 2025 | September 30, 2029 | Nickolai Zeldovich | nsf.gov |
| Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods | NSF | CSE - Core Programs | 2022 | $559,494 | October 1, 2022 | September 30, 2026 | Andrew W Appel | nsf.gov |
| Collaborative Research: FMitF: Track I: AVA: Architectural Insights For Formal Verification Of Computer Architectures | NSF | CSE - Core Programs | 2024 | $550,000 | October 1, 2024 | September 30, 2027 | Sharad Malik | nsf.gov |
| Collaborative Research: FMitF: Track I: The Phlox framework for verifying a high-performance distributed database | NSF | CSE - Core Programs | 2023 | $500,000 | October 1, 2023 | September 30, 2027 | Nickolai Zeldovich | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesizing Verifiable Compiler toward Fault-Tolerant Quantum Computing | NSF | CSE - Core Programs | 2024 | $500,000 | September 1, 2024 | August 31, 2028 | Yufei Ding | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesizing Verifiable Compiler toward Fault-Tolerant Quantum Computing | NSF | CSE - Core Programs | 2024 | $500,000 | September 1, 2024 | August 31, 2028 | Jens Palsberg | nsf.gov |
| Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis | NSF | Division of Computing and Communication Foundations | 2022 | $499,987 | October 1, 2022 | September 30, 2025 | Rastislav Bodik | nsf.gov |
| Collaborative Research: FMitF: Track I: Knitting Semantics | NSF | CSE - Core Programs | 2023 | $486,531 | October 1, 2023 | September 30, 2027 | Gilbert L Bernstein | nsf.gov |
| Collaborative Research: FMitF: Track I: Reasoning About Shell Scripts and Their Effects in Context | NSF | CSE - Core Programs | 2026 | $454,687 | March 15, 2026 | February 28, 2029 | Nikos Vasilakis | nsf.gov |
| Collaborative Research: FMitF: Track I: Specification-Guided Multiagent Reinforcement Learning | NSF | Division of Computing and Communication Foundations | 2025 | $450,000 | October 1, 2025 | November 30, 2029 | Chuangchuang Sun | nsf.gov |
| Collaborative Research: FMitF: Track I: Specification-Guided Multiagent Reinforcement Learning | NSF | CSE - Core Programs | 2025 | $450,000 | October 1, 2025 | September 30, 2029 | Stavros Tripakis | nsf.gov |
| Collaborative Research: FMitF: Track I: Specification-Guided Multiagent Reinforcement Learning | NSF | CSE - Core Programs | 2025 | $450,000 | October 1, 2025 | November 30, 2029 | Chuangchuang Sun | nsf.gov |
| FMitF Track I: Formal Methods in Software Support for Sound Experimentation | NSF | CSE - Core Programs | 2023 | $438,817 | November 1, 2022 | October 31, 2026 | Emma Tosch | nsf.gov |
| Collaborative: FMitF: Track I: A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software | NSF | CSE - Core Programs | 2022 | $435,051 | July 15, 2022 | June 30, 2027 | Patrick Schaumont | nsf.gov |
| Collaborative Research: FMitF: Track I: AVA: Architectural Insights For Formal Verification Of Computer Architectures | NSF | CSE - Core Programs | 2024 | $400,000 | October 1, 2024 | September 30, 2027 | Mengjia Yan | nsf.gov |
| Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations | NSF | Division of Information & Intelligent Systems | 2022 | $399,999 | October 1, 2022 | September 30, 2026 | Jinyang Li | nsf.gov |
| Collaborative Research: FMitF: Track I: Designing Safe and Robust Human-machine Interactions with Fuzzy Mental Models | NSF | CSE - Core Programs | 2023 | $395,000 | October 1, 2023 | September 30, 2027 | Eunsuk Kang | nsf.gov |
| Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers | NSF | CSE - Core Programs | 2024 | $376,695 | March 1, 2024 | December 31, 2026 | Stefan Mitsch | nsf.gov |
| Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes | NSF | Division of Computing and Communication Foundations | 2022 | $375,000 | October 1, 2022 | September 30, 2025 | David P Walker | nsf.gov |
| Collaborative Research: FMitF: Track I: Simplifying End-to-End Verification of High-Performance Distributed Systems | NSF | CSE - Core Programs | 2023 | $375,000 | October 1, 2023 | September 30, 2027 | Bryan Parno | nsf.gov |
| Collaborative Research: FMitF: Track I: Simplifying End-to-End Verification of High-Performance Distributed Systems | NSF | CSE - Core Programs | 2023 | $375,000 | October 1, 2023 | September 30, 2027 | Manos Kapritsos | nsf.gov |
| Collaborative Research: FMitF: Track I: Designing Safe and Robust Human-machine Interactions with Fuzzy Mental Models | NSF | CSE - Core Programs | 2023 | $375,000 | October 1, 2023 | September 30, 2027 | Matthew L Bolton | nsf.gov |
| Collaborative Research: FMitF: Track I: A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software | NSF | CSE - Core Programs | 2022 | $374,999 | July 15, 2022 | June 30, 2027 | Chao Wang | nsf.gov |
| Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes | NSF | CSE - Core Programs | 2022 | $374,998 | October 1, 2022 | September 30, 2026 | Ratul Mahajan | nsf.gov |
| Collaborative Research: FMitF: Track I: Towards Verified Robustness and Safety in Power System-Informed Neural Networks | NSF | CSE - Core Programs | 2023 | $373,650 | October 1, 2023 | September 30, 2027 | Feng Liu | nsf.gov |
| Collaborative Research: FMitF: Track I: Towards Verified Robustness and Safety in Power System-Informed Neural Networks | NSF | CSE - Core Programs | 2023 | $370,440 | October 1, 2023 | September 30, 2027 | Ren Wang | nsf.gov |
| Collaborative Research: FMitF: Track I: JIVe: Just in Time Verification for High Performance Compilers | NSF | CSE - Core Programs | 2024 | $360,000 | September 1, 2024 | August 31, 2027 | William Mansky | nsf.gov |
| Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations | NSF | Division of Information & Intelligent Systems | 2022 | $349,998 | October 1, 2022 | September 30, 2027 | Ruzica Piskac | nsf.gov |
| Collaborative Research: FMitF: Track I: Knitting Semantics | NSF | CSE - Core Programs | 2023 | $319,996 | October 1, 2023 | September 30, 2026 | James L McCann | nsf.gov |
| Collaborative Research: FMitF: Track I: Verifying distributed systems for liveness with Byzantine participants | NSF | CSE - Core Programs | 2025 | $303,209 | October 1, 2025 | September 30, 2029 | Joseph D Tassarotti | nsf.gov |
| Collaborative Research: FMitF : Track I: Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols | NSF | CSE - Core Programs | 2025 | $299,700 | September 15, 2025 | August 31, 2028 | Kenneth McMillan | nsf.gov |
| Collaborative Research: FMitF : Track I: Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols | NSF | CSE - Core Programs | 2025 | $299,631 | September 15, 2025 | August 31, 2028 | Daniel Sorin | nsf.gov |
| Collaborative Research: FMitF : Track I: Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols | NSF | CSE - Core Programs | 2025 | $297,000 | September 15, 2025 | August 31, 2028 | Vijay Nagarajan | nsf.gov |
| Collaborative Research: FMitF: Track I: Game Theoretic Updates for Network and Cloud Functions | NSF | Division of Computing and Communication Foundations | 2023 | $283,855 | January 15, 2023 | December 31, 2024 | Jedidiah McClurg | nsf.gov |
| Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis | NSF | Division of Computing and Communication Foundations | 2022 | $250,000 | October 1, 2022 | September 30, 2025 | Maneesh Agrawala | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | Division of Computing and Communication Foundations | 2023 | $250,000 | September 1, 2023 | January 31, 2024 | Nathaniel C Cady | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | Division of Computing and Communication Foundations | 2023 | $250,000 | September 1, 2023 | January 31, 2024 | Sumit K Jha | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | CSE - Core Programs | 2024 | $250,000 | October 1, 2023 | August 31, 2027 | Nathaniel C Cady | nsf.gov |
| FMitF: Track III: Customizing a Classroom Proof Assistant for Mathematical Computing and Engineering Courses | NSF | CSE - Core Programs | 2024 | $250,000 | October 1, 2024 | September 30, 2026 | Cyrus Omar | nsf.gov |
| Collaborative Research: FMitF: Track I: Composable Verification of Crash-Safe Distributed Systems with Grove | NSF | CSE - Core Programs | 2023 | $249,998 | March 15, 2023 | May 31, 2026 | Joseph D Tassarotti | nsf.gov |
| Collaborative Research: FMitF: Track I: The Phlox framework for verifying a high-performance distributed database | NSF | CSE - Core Programs | 2023 | $249,867 | October 1, 2023 | September 30, 2027 | Joseph D Tassarotti | nsf.gov |
| Collaborative Research: FMitF: Track III: Proof assistants in discrete mathematics education | NSF | CSE - Core Programs | 2024 | $249,504 | October 1, 2024 | September 30, 2027 | Robert Y Lewis | nsf.gov |
| FMitF: Track III: Introducing Verification Through Creative Embedded Systems | NSF | CSE - Core Programs | 2025 | $249,484 | October 1, 2025 | September 30, 2028 | Mark P Santolucito | nsf.gov |
| FMitF: Track III: Teaching Program Specifications to the Scientific Computing Community | NSF | CSE - Core Programs | 2025 | $248,779 | January 1, 2026 | December 31, 2028 | Elena Sherman | nsf.gov |
| Collaborative Research: FMitF: Track I: Reasoning About Shell Scripts and Their Effects in Context | NSF | CSE - Core Programs | 2026 | $229,687 | March 15, 2026 | February 28, 2029 | Konstantinos Kallas | nsf.gov |
| Collaborative Research: FMitF: Track I: Reasoning About Shell Scripts and Their Effects in Context | NSF | CSE - Core Programs | 2026 | $225,000 | March 15, 2026 | February 28, 2029 | Michael Greenberg | nsf.gov |
| FMitF: Collaborative Research: Track I: Preventing Human Errors in Cyber-human Systems with Formal Approaches to Human Reliability Rating and Model Repair | NSF | Division of Computing and Communication Foundations | 2022 | $221,846 | January 15, 2022 | July 31, 2024 | Matthew L Bolton | nsf.gov |
| Collaborative Research: FMitF:Track III: A Taste of Formal Methods for Different STEM Communities and Courses | NSF | CSE - Core Programs | 2024 | $212,983 | October 1, 2024 | September 30, 2027 | Carlos Rivero | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | CSE - Core Programs | 2026 | $197,273 | October 1, 2025 | August 31, 2027 | Sumit K Jha | nsf.gov |
| Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers | NSF | CSE - Core Programs | 2024 | $194,165 | October 1, 2023 | September 30, 2026 | Luis A Garcia | nsf.gov |
| Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods | NSF | Division of Computing and Communication Foundations | 2022 | $190,506 | October 1, 2022 | September 30, 2025 | David S Bindel | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | CSE - Core Programs | 2025 | $183,868 | October 1, 2024 | August 31, 2027 | Rickard F Ewetz | nsf.gov |
| FMitF: Track II: Contracts for JavaScript | NSF | CSE - Core Programs | 2024 | $150,000 | July 15, 2024 | June 30, 2026 | Robert B Findler | nsf.gov |
| FMitF: Track II: Enhancing the Bounded Model Checking Tool for Hyperproperties (HyperQB) for Industrial Applications | NSF | CSE - Core Programs | 2024 | $150,000 | September 1, 2024 | August 31, 2027 | Borzoo Bonakdarpour | nsf.gov |
| FMitF: Track II: Formally-Verified eBPF Verifier in the Linux Kernel | NSF | CSE - Core Programs | 2024 | $150,000 | October 1, 2024 | September 30, 2026 | Santosh Nagarakatte | nsf.gov |
| FMitF: Track II: Advancing Probabilistic Verification Tool Development for Synthetic Biology | NSF | CSE - Core Programs | 2024 | $149,999 | August 15, 2024 | July 31, 2027 | Zhen Zhang | nsf.gov |
| FMitF: Track II: StarV: A Quantitative Verification Tool for Learning-enabled Cyber-Physical Systems | NSF | CSE - Core Programs | 2026 | $110,359 | October 1, 2025 | September 30, 2027 | Dung Tran | nsf.gov |
| Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers | NSF | Division of Computing and Communication Foundations | 2022 | $105,835 | October 1, 2022 | April 30, 2024 | Luis A Garcia | nsf.gov |
| FMitF: Track II: SMT-Based Reachability Analyzer of NGAC Policies | NSF | Division of Computing and Communication Foundations | 2023 | $100,000 | July 1, 2023 | December 31, 2025 | Dianxiang Xu | nsf.gov |
| FMiTF: Track-2 : Rigorous and Scalable Formal Floating-Point Error Analysis from LLVM | NSF | Division of Computing and Communication Foundations | 2023 | $100,000 | August 1, 2023 | January 31, 2025 | Ganesh L Gopalakrishnan | nsf.gov |
| FMitF: Track II: Bringing Verification-Aware Languages and Federated Authentication to Enable Secure Computing for Scientific Communities | NSF | Division of Computing and Communication Foundations | 2023 | $99,999 | August 1, 2023 | January 31, 2025 | Phuong M Cao | nsf.gov |
| FMitF: Track II: Educating Developers about Ownership in Rust | NSF | Division of Computing and Communication Foundations | 2023 | $99,936 | August 1, 2023 | July 31, 2024 | Shriram Krishnamurthi | nsf.gov |
| Conference: 2024 Formal Methods in the Field PI Meeting | NSF | CSE - Core Programs | 2025 | $99,893 | November 1, 2024 | October 31, 2026 | Cesare Tinelli | nsf.gov |
| Collaborative Research: FMitF: Track II: From Theory to Practice: Making Complex Invariants Accessible with DIG | NSF | CSE - Core Programs | 2024 | $99,246 | September 15, 2024 | August 31, 2027 | ThanhVu H Nguyen | nsf.gov |
| FMitF: Track II: Cybolic: a symbolic execution technique and tool for analyzing CMake build scripts | NSF | Division of Computing and Communication Foundations | 2023 | $97,242 | August 1, 2023 | January 31, 2026 | ThanhVu H Nguyen | nsf.gov |
| Collaborative Research: FMitF: Track III: Integrating Formal Methods into the Foundational Undergraduate Curriculum | NSF | CSE - Core Programs | 2024 | $96,015 | October 1, 2024 | September 30, 2027 | Peter-Michael S Osera | nsf.gov |
| Collaborative Research: FMitF: Track III: Integrating Formal Methods into the Foundational Undergraduate Curriculum | NSF | CSE - Core Programs | 2024 | $77,430 | October 1, 2024 | September 30, 2027 | John Garrett Morris | nsf.gov |
| Collaborative Research: FMitF: Track III: Integrating Formal Methods into the Foundational Undergraduate Curriculum | NSF | CSE - Core Programs | 2024 | $75,000 | October 1, 2024 | September 30, 2027 | James I Lathrop | nsf.gov |
| Collaborative Research: FMitF: Track II: Enabling Pluggable Runtime Verification Optimizations | NSF | CSE - Core Programs | 2025 | $75,000 | October 1, 2025 | September 30, 2027 | Rahul A Purandare | nsf.gov |
| Collaborative Research: FMitF: Track II: Enabling Pluggable Runtime Verification Optimizations | NSF | CSE - Core Programs | 2025 | $75,000 | October 1, 2025 | September 30, 2027 | Owolabi Legunsen | nsf.gov |
| Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers | NSF | Division of Computing and Communication Foundations | 2022 | $73,305 | October 1, 2022 | June 30, 2024 | Stefan Mitsch | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | Division of Computing and Communication Foundations | 2023 | $66,132 | September 1, 2023 | January 31, 2025 | Rickard F Ewetz | nsf.gov |
| Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods | NSF | Division of Computing and Communication Foundations | 2024 | $52,727 | November 1, 2023 | April 30, 2026 | Sumit K Jha | nsf.gov |
| Collaborative Research: FMitF: Track II: From Theory to Practice: Making Complex Invariants Accessible with DIG | NSF | CSE - Core Programs | 2024 | $50,740 | September 15, 2024 | August 31, 2026 | Shuang Luan | nsf.gov |
| Collaborative Research: FMitF: Track II: Enhancing the Neural Network Verification (NNV) Tool for Industrial Applications | NSF | Division of Computing and Communication Foundations | 2022 | $50,000 | October 1, 2022 | March 31, 2024 | Dung Tran | nsf.gov |
| Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification | NSF | Division of Computing and Communication Foundations | 2023 | $50,000 | September 1, 2023 | February 28, 2026 | Marcelo d'Amorim | nsf.gov |
| Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification | NSF | Division of Computing and Communication Foundations | 2023 | $50,000 | September 1, 2023 | February 28, 2026 | Owolabi Legunsen | nsf.gov |
| Collaborative Research: FMitF: Track II: Enhancing the Neural Network Verification (NNV) Tool for Industrial Applications | NSF | Division of Computing and Communication Foundations | 2022 | $49,309 | October 1, 2022 | March 31, 2025 | Taylor T Johnson | nsf.gov |
| FMitF: Collaborative Research: RedLeaf: Verified Operating Systems in Rust | NSF | Division of Computing and Communication Foundations | 2023 | $40,133 | February 1, 2023 | March 31, 2024 | Anton Burtsev | nsf.gov |
| FMitF: Track II: StarV: A Quantitative Verification Tool for Learning-enabled Cyber-Physical Systems | NSF | Division of Computing and Communication Foundations | 2024 | $38,984 | October 1, 2024 | February 28, 2026 | Dung Tran | nsf.gov |
| Collaborative Research: FMitF:Track III: A Taste of Formal Methods for Different STEM Communities and Courses | NSF | CSE - Core Programs | 2024 | $36,642 | October 1, 2024 | September 30, 2027 | Zachary Fitzsimmons | nsf.gov |
| FMitF Track I: Formal Methods in Software Support for Sound Experimentation | NSF | Division of Computing and Communication Foundations | 2022 | $23,071 | October 1, 2022 | June 30, 2023 | Emma Tosch | nsf.gov |
| Collaborative Research: FMitF: Track I: DeepSmith: Scheduling with Quality Guarantees for Efficient DNN Model Execution | NSF | Division of Computing and Communication Foundations | 2024 | $15,999 | October 1, 2023 | September 30, 2025 | Cunxi Yu | nsf.gov |
Organizations
Funding by fiscal year
| Fiscal year | NIH awards | NIH amount | NSF awards | NSF amount |
|---|---|---|---|---|
| 2026 | 0 | $0 | 3 | $909,374 |
| 2025 | 0 | $0 | 16 | $7,062,603 |
| 2024 | 0 | $0 | 29 | $9,323,690 |
| 2023 | 0 | $0 | 29 | $9,501,538 |
| 2022 | 0 | $0 | 24 | $8,974,236 |
Open federal funding opportunities
From Grants.gov: notices that funded awards in this table, and open notices on the same agency and assistance listing.
| Open opportunity | Number | Agency | Listing | Closes | Award ceiling | Why it matches |
|---|---|---|---|---|---|---|
| National Science Foundation Translation to Practice (NSF TTP) | 25-540 | NSF | 47.070 | November 17, 2026 | $2 million | Same assistance listing 47.070 as 104 awards here |
| EPSCoR Research Infrastructure Improvement Program: Focused EPSCoR Collaborations (FEC) | 24-573 | NSF | 47.070 | January 26, 2027 | $1.5 million | Same assistance listing 47.070 as 104 awards here |
| Mid-scale Research Infrastructure-1 | 24-598 | NSF | 47.070 | February 8, 2027 | $20 million | Same assistance listing 47.070 as 104 awards here |
| NSF Dynamic Language Infrastructure - NEH Documenting Endangered Languages (DLI-DEL) | 22-615 | NSF | 47.070 | February 16, 2027 | Not listed | Same assistance listing 47.070 as 104 awards here |
| Expeditions in Computing | 20-544 | NSF | 47.070 | March 31, 2027 | Not listed | Same assistance listing 47.070 as 104 awards here |
| EPSCoR Research Infrastructure Improvement (RII): EPSCoR Research Fellows | 24-528 | NSF | 47.070 | April 13, 2027 | Not listed | Same assistance listing 47.070 as 104 awards here |
| Findable Accessible Interoperable Reusable Open Science (FAIROS) | 25-533 | NSF | 47.070 | April 14, 2027 | Not listed | Same assistance listing 47.070 as 104 awards here |
| Faculty Early Career Development Program (CAREER) | 22-586 | NSF | 47.070 | July 28, 2027 | Not listed | Same assistance listing 47.070 as 104 awards here |
| Research Experiences for Undergraduates (REU) | 23-601 | NSF | 47.070 | August 18, 2027 | $500,000 | Same assistance listing 47.070 as 104 awards here |
| Historically Black Colleges and Universities - Excellence in Research (HBCU - EiR) | 23-598 | NSF | 47.070 | October 19, 2027 | Not listed | Same assistance listing 47.070 as 104 awards here |
| National Science Foundation National Innovation Corps Teams (NSF National I-CorpsTM Teams) Program | 25-549 | NSF | 47.070 | October 6, 2076 | Not listed | Same assistance listing 47.070 as 104 awards here |
| Facilitating Research at Primarily Undergraduate Institutions: (RUI and ROA-PUI) | 14-579 | NSF | 47.070 | October 14, 2076 | Not listed | Same assistance listing 47.070 as 104 awards here |
| Established Program to Stimulate Competitive Research (EPSCoR): Workshop Opportunities | 24-540 | NSF | 47.070 | $200,000 | Same assistance listing 47.070 as 104 awards here | |
| Foundational Research in Robotics | PD-20-144Y | NSF | 47.070 | Not listed | Same assistance listing 47.070 as 104 awards here | |
| Cyberinfrastructure for Public Access and Open Science | PD-24-7414 | NSF | 47.070 | $600,000 | Same assistance listing 47.070 as 104 awards here |
Updated November 3, 2026. Read from NIH RePORTER ExPORTER and NSF Award Search. Published by NIH and NSF as U.S. government data. NIH awards are fiscal years 2021 to 2025 (NIH files published to 2026-07-09); NSF awards are fiscal years 2022 to 2026 (NSF files published to 2026-11-02). NIH amounts are the total cost of each fiscal year in the window; NSF amounts are the funds obligated in the window. Organizations are matched on the UEI. Open opportunities come from Grants.gov and match on agency and assistance listing number, and on the notice number NIH prints on an award. Free to reuse with credit to SpecStream under CC BY 4.0. Spot a wrong value? Write to [email protected] with the link to this page.