NASA Logo, National Aeronautics and Space Administration

Ganesh J. Pai

I am a research scientist employed by SGT, Inc., at the NASA Ames Research Center, in the Robust Software Engineering technical area, of the Intelligent Systems Division (Code TI).

My research interests lie in the broad areas of systems and software engineering with a focus on dependability and safety. Presently, I am interested in the safety assurance of flight-critical systems and software, and in the safety aspects of airworthiness certification of unmanned aircraft, to enable their routine access to the national airspace system.

My alma mater is the University of Virginia, from where I graduated with degrees in Computer Engineering (PhD), and Electrical Engineering (MS). I am a member of the AIAA, the IEEE, the IEEE Computer Society, and Eta Kappa Nu.

Recent Publications*


  • E. W. Denney, I. Habli and G. J. Pai. Dynamic Safety Cases for Through-life Safety Assurance. 37th International Conference on Software Engineering (ICSE 2015) - New Ideas and Emerging Results (NIER). May 2015 (To Appear).

  • E. W. Denney, G. J. Pai and I. J. Whiteside. Formal Foundations for Hierarchical Safety Cases. 16th International Symposium on High Assurance Systems Engineering (HASE). Jan. 2015.



  • D. Bushnell, E. Denney, F. Enomoto, G. Pai and J. Schumann. Preliminary Recommendations for the Collection, Storage, and Analysis of UAS Safety Data. NASA Technical Memorandum No. NASA/TM–2013–216624. NASA Ames Research Center. Dec. 2013.

  • E. W. Denney and G. J. Pai. Evidence Arguments for Using Formal Methods in Software Certification. 24th IEEE International Symposium on Software Reliability Engineering (ISSRE) Workshops. Nov. 2013. pp. 375-380.

  • E. W. Denney and G. J. Pai. A Formal Basis for Safety Case Patterns. 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013). LNCS 8153. pp. 21-32. Sep. 2013.

  • E. W. Denney, G. J. Pai and I. J. Whiteside. Hierarchical Safety Cases. 5th NASA Formal Methods Symposium (NFM). LNCS 7871. pp. 478-483. May 2013.



*Authors are listed in alphabetical order. For a complete list of publications, go here.



SGT, Inc.


NASA Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035-1000


Bldg. N-269, Rm. 260x9


+1 650 604 0760



  • At NASA
  • Non-NASA
  • First Gov logo
    NASA Logo -