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, in all safety and security-relevant concerns pertaining to unmanned aircraft systems (UAS), including airworthiness, to enable their routine access to the national airspace system, and in safety aspects of the wider air-traffic system.

In 2014, Ewen Denney and I, as members of the RSE Safety Case Team, were jointly awarded an Agency Honor Award (Group Achievement Award), for our contribution to the safety assurance of a ground-based detect and avoid concept that enabled beyond visual line of sight UAS operations in Alaska in support of the NASA MIZOPEX Earth Science Mission.

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.


2015 | 2014 | 2013 | 2012 | 2011 | Earlier

  • E. W. Denney and G. J. Pai. Towards a Formal Basis for Modular Safety Cases. 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2015). LNCS 9337, pp. 328-343. Sep. 2015.

  • E. W. Denney and G. J. Pai. Argument-based Airworthiness Assurance for Small UAS. 34th IEEE/AIAA Digital Avionics Systems Conference (DASC 2015). Sep. 2015. (Best paper of the Innovative Approaches Session in the UAS Track).

  • E. W. Denney and G. J. Pai. A Methodology for the Development of Assurance Arguments for Unmanned Aircraft Systems. 33rd International System Safety Conference (ISSC 2015). Aug. 2015. (Best paper of the Conference).

  • 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.

  • E. Denney and G. Pai. Safety Case Patterns: Theory and Applications. NASA Technical Memorandum NASA/TM-2015-218492. NASA Ames Research Center. Feb. 2015.

  • 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.

2014 | Back

2013 | Back

2012 | Back

2011 | Back

*Authors are listed in alphabetical order.



SGT, Inc.


NASA Ames Research Center
Mail Stop 269-1, PO Box 1
Moffett Field, CA 94035-0001


Bldg. N-269, Rm. 260 x 9


+1 650 604 0760



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