Funding

Funding as PI:

• NSF #CCF-2220991: Closing the Specification Gap with Logic and Linguistics
  2022-2025, $524,425
• NSF #CCF-2007582: Making Effect Systems Practical with Polymorphism, Inference, and Prototyping Support
  2020-2023, $362,028
• Google Cloud Research Credits: Validated Models and Reasoning for Virtual Memory
  2020-2021, $5,000
• NSF #CCF-1844964: CAREER: Modal Abstractions of Systems Concepts for OS Kernel Verification
  2019-2024, $579,853

In addition to the above, my research has been funded via a consultancy at Samsung Research America, and during graduate school via NSF and DARPA grants via my advisors.