This award supports research proposals in automated reasoning, mathematical logic, and formal verification. Funded topics include neurosymbolic reasoning, interfaces between language models and solvers, symbolic reasoning applications, solver improvements, static analysis, software model checking, privacy/security provable approaches, software synthesis, distributed protocol verification, and automated testing techniques to improve cloud security and robustness.
Eligibility criteria are not specified for this funding opportunity.
