Funding Applications (in reverse chronological
order)
- “Travel to Third JML Spec-a-thon”, US$2,438.
Chancellor’s Fund for Travel Support, University of
Washington Tacoma. 2010. Funded.
- “ToI: A Theory of Interestingness and its
Applications”, US$462,807, Co-PI with PI Joseph R.
Kiniry. European Office of Aerospace Research and
Development, 2009. Not funded.
- “ToI: A Theory of Interestingness and its
Applications”, US$381,554, PI with Co-PI Joseph R.
Kiniry. U.S. Air Force Office of Scientific Research,
2009. Not funded.
- “A Theory of Interestingness: A New Approach to
Testing Software and Other Formal Systems”, US$31,843,
PI. Royalty Research Fund, University of Washington,
2009. Not funded.
- “Specification and Verification of Java Programs with
JML, ESC/Java2, and CVC3”, US$4,738, 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”, €5,000, Co-PI with Joseph R. Kiniry.
Formal Methods Europe Small Projects, 2007. Funded, for
organization of “JML Spec-A-Thon” events in 2008, 2009,
and 2010.
- “Next-Generation Tools for Automated Specification
and Testing of Object-Oriented Systems”, US$293,094, PI.
U.S. Air Force Office of Scientific Research Young
Investigators Program, 2007. Not funded.
- “Attracting Students to Computing with Courselets”,
US$498,675, Co-PI with Donald Chinn, Menaka Muppa, Ankur
Teredesai and Larry Wear. National Science Foundation
Broadening Participation in Computing Program, 2007. Not
funded.
Funding Awarded to Date: $7176 + €5000