NASA Logo, National Aeronautics and Space Administration

Experience:

  • SGT, Inc./NASA Ames Research Center: 2011 - present,
    Robust Software Engineering Group,
    Project: Environment generation for analysis of safety-critical software
  • Fujitsu Laboratories of America: 2005-2011,
    Trusted Systems Innovation Group,
    Project: Environment generation for analysis of commercial software

Education:

  • PhD: Computer Science, 2008, Kansas State University,
    Thesis: Domain-Specific Environment Generation for Modular Software Model Checking,
    Advisor: Matt Dwyer
  • MS: Computer Science, 2003, Kansas State University,
    Thesis: Adapting Side-Effects Analysis for Modular Program Model Checking,
    Advisor: Matt Dwyer

Internships:

  • NASA Ames Research Center: Summer 2003,
    Project: Formal Analysis of Human-Automation Interactions,
    Advisor: Guillaume Brat
  • NASA Ames Research Center: Summer 2002,
    Project: Application of Static Analysis Tools to Detect Errors in Safety-Critical Software,
    Advisor: Guillaume Brat
  • NASA Ames Research Center: Summer 2001,
    Project: Formal Analysis of Human-Automation Interactions,
    Advisor: Willem Visser
First Gov logo
NASA Logo - nasa.gov