NASA Logo, National Aeronautics and Space Administration

Neha Rungta, Ph.D.

I am a researcher at the Robust Software Engineering group at the NASA Ames Research Center in California. I graduated with my PhD from Brigham Young University in the Computer Science department.

My current work leverages multi-agent system (MAS) models as the basis for predictive reasoning about various safety conditions and the performance of NextGen Air Traffic Management (ATM) Systems. We are developing and verifying models for NextGen ATM systems for Trajectory-based operations in the New York Metroplex. My research interests also include developing algorithms for regression analysis and testing during continuous integration by innovating in several areas such as program differencing, static analysis, and semantic conflicts/differences between program versions. The results of the regression analysis are used for test case prioritization, test case selection and fault localization. I have worked on several techniques for symbolic execution, automated test case generation, software model checking, guided heuristics, and finding concurrency errors.



MS 269 - 1

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

neha.s.rungta "at"

Links :

+ Brigham Young University
+ BYU CS Department
+ Blog

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

First Gov logo
NASA Logo -