Grant · U.S. National Science Foundation (NSF MPS)
NSF MPS Foundations Program
Official source · nsf.gov
Official page- Type
- Grant
- Organisation
- U.S. National Science Foundation (NSF MPS)
- Location
- United States
- Found
- 15 October 2026
About this listing
Supports research in mathematical logic and foundations of mathematics, including set theory, model theory, computability theory and infinitary combinatorics, with applications to AI, formal verification, machine learning, and quantum.
Last checked 15 October 2026.