Grant · Mathematics
The Milestone Prize for Foundational Work in Formal Verification
American Mathematical Society (AMS)www.ams.org (opens in a new tab)Catalog updated
- Amount
- Not listed
- Program type
- Grant
- Field
- Mathematics
- Eligible career stages
- Not listed
About this program
The Milestone Prize for Foundational Work in Formal Verification, administered by the American Mathematical Society, recognizes outstanding foundational research that advances the theory, methods, or rigorous foundations of formal verification. It honors individuals or teams whose peer-recognized contributions—new principles, frameworks, or tools—have had substantial and demonstrable impact on the field. Candidates are typically submitted by nomination and evaluated by an AMS-appointed committee; eligible nominees include researchers in mathematics, computer science, and related disciplines whose work shows clear foundational significance.
In FundFit
Full eligibility
Source announcement
Similar programs
These details are in FundFit.