This Project Grant award from the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) will support collaborative research on developing new techniques for reasoning about randomness in concurrent programs. The $376,058 award, effective October 1, 2025 through September 30, 2029, will enable researchers from Cornell University to create program logics and reasoning tools to enable more precise analysis of concurrent randomized programs. This work aims to improve software quality and verification capabilities for critical applications that rely on randomness, such as cryptography and machine learning. The project will also develop educational materials to disseminate the research findings to students, academics, and industry practitioners. No sub-awards are planned for this grant.
Generated 8/5/25, 5:59 AM