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, G. J. Pai and I. J. Whiteside. Formal Foundations for Hierarchical Safety Cases. 16th International Symposium on High Assurance Systems Engineering (HASE). Jan. 2015 (To Appear).


  • R. Berthold, E. Denney, M. Fladeland, G. Pai, B. Storms and M. Sumich. Assuring Ground-based Detect and Avoid for UAS Operations. 33rd IEEE/AIAA Digital Avionics Systems Conference (DASC 2014). Oct. 2014. (Best Paper of the UAS/ATM Session)

  • E. W. Denney, D. Naylor and G. J. Pai. Querying Safety Cases. 3rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014). LNCS 8666, pp. 294-309. Sep. 2014.

  • E. W. Denney and G. J. Pai. Automating the Assembly of Aviation Safety Cases. IEEE Transactions on Reliability. vol. 63, no. 4, pp. 830-849. Dec. 2014.


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