NASA Logo, National Aeronautics and Space Administration

Software

  • Java Impact Analysis Framework: Invention Disclosure e-NTR#: 1392742578 (Released under NOSA open source license)
  • C Impact Analysis Framework: Invention Disclosure e-NTR#: 1393341390 (Released under NOSA open source license)

Academic Service

Conference Organization

  • Program chair for SPIN 2014
  • Program chair for Formal Verification of Human Machine Systems (FVHMS) 2014
  • Program chair for NASA Formal Methods Symposium 2013
  • Program chair for Automated Software Engineering (ASE) Tools track 2013
  • Program chair for Java PathFinder workshop (2011-2013)
  • Workshops chair for Computer Aided Verification (CAV) 2011

Program Committee Member

ICST 2017 , ICSE NIER 2017 , FMi 2016, ICSE 2016, ASE 2016, ICST 2016, JPF 2016, NFM 2016, ICSE Poster 2016, SMC 2016, ISSTA Demo 2015, ICSE SRC 2015, JPF 2015, ASE Tools 2014, NFM 2014, ISSTA 2014, FMi 2014, ICSE SRC 2014, FTSCS 2013, SCiA 2013, SMC 2013, OOPSLA ERC 2012, FM 2012, FTSCS 2012, INFINITY 2011, TMC 2011, SAVCBS 2010, QUATIC 2010

Journal Review

Aerospace Info, AUSE Journal, Elsevier-IST, IEEE Trans HMS, STTT, TSE, TOSEM, SoSym

Editor

Verification column editor ACM Special Interest Group on Logic and Computation (SIGLOG) newsletter

Awards

  • Google 2007 Anita Borg Memorial Scholarship Recipient
  • BYU Graduate Research Fellowship Award
  • IBM PhD Graduate Research Fellowship Finalist

Portrait

Contact

Address:
MS 269 - 1

Bldg 269 Room 230
NASA Ames Research Center
Moffett Field CA 94035

Email:
neha.s.rungta "at" nasa.gov

Links :

+ Brigham Young University
+ BYU CS Department
+ Blog

+ NASA Ames
+ TI Home Page
+ RSE Homepage
+ NASA Home Page

First Gov logo
NASA Logo - nasa.gov