Milestone Prize in Formal Verification
Emily Riehl
https://www.ams.org/prizes-awards/paview.cgi?parent_id=63
"This prize was recently reestablished with support from the AI For Math Fund, which is run by Renaissance Philanthropy and funded by XTX Markets. The goal of the prize is to highlight and celebrate influential work and to encourage formal verification throughout mathematics and its applications. The work can be published in a recognized journal or code repository or other comparable database of record.
The prize amount is $5,000 and is awarded annually. The prize will be awarded to the named authors of the work, as determined by the selection committee."
The nomination procedure is relatively easy, described on the website. Nominations are open until June 30th.
I believe self nominations are allowed. It would be great to see the HoTT community represented in the applicant pool!
Emily
Kelly Miller Professor of Mathematics (she/her)
Johns Hopkins University
emilyriehl.github.io