Funding

• Principal Investigator on Principles and Tools for Rigorous Development and Integration of Component-based Systems. (Lockheed Martin Advanced Technology Laboratory).
  - Amount: $100,000.
  - Duration: Jan 2006 -- November 2006

• Principal Investigator (with co-PIs Torben Amtoft and Anindya Banerjee) on An Integrated Specification and Verification Environment for Component-based Architectures of Large-scale Distributed Systems (Air Force Office of Scientific Research (AFOSR)).
  - Amount: $448,530.
  - Duration: April 2006 -- March 2009

• co-Principal Investigator (with PI Gregg Rothermel, and co-PIs Matthew Dwyer, Sebastian Elbaum, Greg Rothermel) on CRI: Collaborative Research : A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques (NSF CNS 0454203)
  - Amount: $1,106,576
  - Duration: August 2005 -- July 2009
  
  
• Principal Investigator (with PI Matthew Dwyer, and co-PIs Sebastian Elbaum, Steve Goddard, Greg Rothermel) on Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications NSF/NASA CCF-0429141.
  - Amount: $320,000
  - Duration: September 2004 -- August 2007
  
  
• Co-Principal Investigator (with co-PIs Matthew Dwyer, Dan Andresen, and Virgil Wallentine) on Parallel Analysis of Models for Distributed Real-Time Embedded Systems. Department of Defense (DURIP)
  - Amount: $394,991. Equipment Grant.
  
  
• Principal Investigator (with co-PIs Matthew Dwyer and Gurdip Singh) on Integration of Tools for Model-driven Embedded System Designs with Next-Generation Real-Time Middleware. Subcontract to Lockheed-Martin on DARPA PCES.
  - Amount: $180,000
  - Duration: May 2004 -- December 2004.
  
  
• Principal Investigator (with co-PIs Matthew Dwyer and Gurdip Singh) on Technologies, Development Tools, and Patterns for Automatic Generation and Customization of Adaptable DRE Middleware. DARPA - Program Composition for Embedded Systems.
  - Amount: $1,161,215
  - Duration: two years, beginning May 2003.
  
  
• Principal Investigator (with co-PIs Matthew Dwyer and Gurdip Singh) on Verification Tools for Model-driven Embedded System Designs. Subcontract to Lockheed-Martin on DARPA PCES.
  - Amount: $180,000
  - Duration: June 2003 -- December 2003.
  
  
• Co-Principal Investigator (with Matthew Dwyer (PI)) on An Extensible Software Model-checking Framework. NSF CCR-0306607.
  - Amount: $179,999
  - Duration: two years, begginning in June 1, 2003
  
  
• Co-Principal Investigator (with Matthew Dwyer (PI) and George Avrunin) on Integrated Software Model-checking, Army Research Office,
  - Amount: $3,000,000
  - Duration: Five years, beginning Summer 2001.
  
  
• Principal Investigor Automatic Customization of Avionics Software, Rockwell-Collins Advanced Technology Center.
  - Amount: $25,000
  - Duration: 1.25 years, beginning Fall 2001.
  
  
• Principal Investigor Educational Environment for Software Model-checking, Rockwell-Collins University Grant.
  - Amount: $15,000
  - Duration: one year, beginning Fall 2002.
  
  
• Co-Principal Investigator (with Matthew Dwyer (PI), Masaaki Mizuno, Mitch Neilson, Gurdip Singh) on Automatic Derivation, Integration and Verification of Synchronization Aspects in Object-Oriented Design Methods DARPA Order K203/AFRL Contract F33615-00-C-3044
  - Amount: $1,097,093
  - Duration: Four years, beginning Summer 2000.
  
  
• Co-Principal Investigator (with Matthew Dwyer and Dave Schmidt (PI)) on Automatic Model Construction for Finite-state Verification Applying Abstract Interpretation and Partial Evaluation Techniques. DARPA/NASA Award NAG-02-1209
  - Amount: $450,000
  - Duration: Two years, beginning Fall 1998.
  
  
• Principal Investigator (with co-PIs Matthew Dwyer and Dave Schmidt) on Automatic Model Construction for Finite-state Verification Applying Abstract Interpretation and Partial Evaluation Techniques. NSF Post-doctoral Fellowship
  - Amount: $66,000
  - Duration: Two years, beginning Fall 1999.
  
  
• Co-Principal Investigator (with Matthew Dwyer and Dave Schmidt (PI)) on Integrating Platforms for Finite-State Verification. NSF International Travel Award.
  - Amount: $15,467
  - Duration: Two years, beginning Fall 1999.
  
  
• Principal Investigator on A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software, National Science Foundation Early Career Award.
  - Amount: $200,000
  - Duration: Four years beginning Summer, 1997.