Funding Applications (in reverse chronological order)

• “A Theory of Interestingness: A New Approach to Testing Software and Other Formal Systems”, $31,843, PI. Royalty Research Fund, University of Washington, 2009. Not funded.
• “Specification and Verification of Java Programs with JML, ESC/Java2, and CVC3”, $4738, Co-PI with Yogi Patel. Chancellor’s Fund, University of Washington, Tacoma, 2008. Funded, for student salary and organization of a “JML Spec-A-Thon” event in 2009.
• “JML Reloaded”, €5000, Co-PI with Joseph R. Kiniry. Formal Methods Europe Small Projects, 2007. Funded, for organization of two “JML Spec-A-Thon” events in 2008 and 2009.
• “Next-Generation Tools for Automated Specification and Testing of Object-Oriented Systems”, $293,094, PI. Air Force Office of Scientific Research Young Investigators Program, 2007. Not funded.

Total Funding: $4738 + €5000