Funding

  • co-Principal Investigator (with PI Simon Ou and co-PIs Scott Deloach and Robby)
    Enhancing the Cybersecurity and Information Assurance Research and
    Education Infrastructure at Kansas State University
    -- US Department of Defense.
    Total Amount: $605,650.00
    Duration: October 2013 -- September 2014

  • Principal Investigator (with co-PIs Patrice Chalin and Steve Warren)
    FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks -- National Science Foundation (CNS 1355778).
    Total Amount: $80,000
    Duration: October 2013 -- September 2014.

  • co-Principal Investigator (with PI Eugene Vasserman and co-PI Dan Andresen)
    TWC TTP: Small: Security, Privacy, and Trust for Systems of Coordinating Medical Devices -- National Science Foundation (CNS 1224007).
    Total Amount: $482,125.00
    Duration: September 2012 -- August 2015.

  • Principal Investigator (with co-PIs Patrice Chalin, Robby, Eugene Vasserman, and Steve Warren). CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms. (US National Science Foundation -- CNS 1239543). NSF Collaborative Grant with the University of Pennsylvania.
    Total Amount: $1,000,000, KSU Portion: $880,000.
    Duration: October 2012 -- September 2015.
  • Co-Principal Investigator (with PI Simon Ou, and co-PIs Eugene Vasserman, Scott Deloach, Gurdip Singh) Building the National Cyber Workforce: New SFS Program at Kansas State University. National Science Foundation (DUE 1241721).
    Total Amount: $ 851,328.00
    Duration: January 2013 -- December 2017
  • co-Principal Investigator (with PI Patrice Chalin, and co-PI Robby) FDA SIR: Tools, Processes, and Artifacts for Certifiable Clinical Applications in Interoperable Medical Device Frameworks. (US National Science Foundation -- NSF FDA Scholar in Residence Postdoctoral Funding -- CNS 1238431).
    Amount: $80,000.
    Duration: October 2012 -- September 2013.
  • Team Member (with PI Julian Goldman (Mass General Hospital, Harvard Medical School, Partners HealthCareOrg.) and others from industry and academia) Development of a Prototype Healthcare Intranet for Improved Health Outcomes. (US National Institutes of Health (NIH) / National Institute of Biomedical Imaging and Bioengineering (NIBIB) -- Quantum Grant Program).
    The prestigious NIH Quantum program funds projects that are viewed as "medical moonshoots" that can potentially achieve a profound (quantum) improvement in health care. Prof. Hatcliff will lead project efforts related to system architecture, software validation, and certification.
    Total Amount: $9.8million, KSU Portion: $375,000
    Duration: October 2010 -- October 2015.
  • Principal Investigator (with co-PIs Robby, Gurdip Singh, Virg Wallentine, Steve Warren)
    Robby, Steve Warren). An Integrated Development and Certification Environment for a Medical Device Coordination Framework. (US National Science Foundation -- NSF FDA Scholar in Residence Postdoctoral Funding -- CNS 1065887).
    Amount: $80,000.
    Duration: October 2010 -- September 2011
  • Principal Investigator (with co-PIs Daniel Andresen, Robby, Steve Warren). Infrastructure and Technology Innovations for Medical Device Coordination. (US National Science Foundation -- CNS 0932289). NSF Collaborative Grant with the University of Pennsylvania.
    Total Amount: $1,500,000, KSU Portion: $839,548.
    Duration: September 2009 -- August 2012.
  • Principal Investigator (with co-PIs Torben Amtoft, Simon Ou, Robby, Andrew Appel (Princeton University)). Evidence-based Trust in Large-scale MLS Systems (US Air Force Office of Scientific Research -- Contract Number FA9550-09-1- 0138).
    Amount: $3,000,000.
    Duration: May 2009 -- August 2014.
  • Principal Investigator (with co-PIs Torben Amtoft, Simon Ou, and Robby), A Domain Specific Language for Defining High-Assurance Secure-Network Guards (Phase II) (Rockwell Collins Advanced Technology Center).
    Amount: $85,000.
    Duration: September 2009 -- August 2010.
  • Principal Investigator (with co-PIs Torben Amtoft, Simon Ou, and Robby), A Domain Specific Language for Defining High-Assurance Secure-Network Guards (Rockwell Collins Advanced Technology Center).
    Amount: $85,000.
    Duration: October 2008 -- August 2009.
  • Principal Investigator, Conditional Information Flow Modeling for High-assurance Systems. (Rockwell Collins Advanced Technology Center).
    Amount: $25,000.
    Duration: September 2008 -- November 2008.
  • Principal Investigator, Automatic Analysis Techniques for Discovering Information
    Flow Properties of Cryptographic Controllers.
    (Rockwell Collins Advanced Technology Center).
    Amount: $85,000.
    Duration: September 2008 -- August 2009.
  • Principal Investigator (with co-PIs Dan Andresen, Robby, Steve Warren)
    Development of an Open Test-bed for Application of Formal Methods to
    Plug and Play Medical Devices
    . (National Science Foundation -- CNS 0734204)
    - Amount: $55,000.
    - Duration: Sept 2007 -- August 2008
  • Principal Investigator on Radical Innovations in Testing. (Lockheed Martin Advanced Technology Laboratory).
    - Amount: $60,000.
    - Duration: March 2007 -- December 2007
  • Principal Investigator (with Torben Amtoft co-PI)
    on on Information
    Flow Modeling Analysis (Formalization and Supporting Tools for
    Secure Information Flow Certification of Industrial Applications)
    .
    (Rockwell Collins Advanced Technology Center).
    - Amount: $50,000.
    - Duration: Jan 2007 -- August 2007
  • Principal Investigator on Principles and Tools for Rigorous Development and Integration of Component-based Systems.
    (Lockheed Martin Advanced Technology Laboratory).
    - Amount: $125,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) -- Contract Number FA9550-006-1-0223).
    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.