Yahoo India Web Search

Search results

1. www.linkedin.com › in › neharungtaNeha Rungta - Sunnyvale, California, United States ... - LinkedIn

   www.linkedin.com › in › neharungta

   Location: Sunnyvale · 500+ connections on LinkedIn. View Neha Rungta’s profile on LinkedIn, a professional community of 1 billion members.

   • Connections: 500+
   • Followers: 2K

   • Author: Neha Rungta

2. Images

   • 
   • 
   • 
   • 
   • 

   View all

3. www.amazon.science › working-at-amazon-from-nasaFor Neha Rungta, it's the journey that matters - Amazon Science

   www.amazon.science › working-at-amazon-from-nasa

   • Cached

   Oct 27, 2020 · Neha Rungta is a senior principal applied scientist in the Automated Reasoning Group with Amazon Web Services (AWS), working on formal verification techniques for cloud security. Prior to joining AWS, Rungta was already well-known for her work on symbolic execution, automated program analysis, and airspace modeling at the NASA Ames Research Center.

   • Occupation: Contributing Writer

4. www.amazon.science › author › neha-rungtaNeha Rungta - Amazon Science

   www.amazon.science › author › neha-rungta

   • Cached

   Neha Rungta is director of applied science with AWS Identity and holds a PhD in automated reasoning. She enjoys building formal-methods tools and services that can be used by all AWS customers.

5. www.allahabadhighcourt.in › District › OfficerSMT. NEHA RUNGTA - Allahabad High Court

   www.allahabadhighcourt.in › District › Officer

   Date of Retirement: 30-06-2048. Home District: Gorakhpur. Home State: Uttar Pradesh. Date of Appt. in Judicial Service as Munsif/CJ (JD): 13-02-2015. Date of Promotion in CJ/CJ (SD):

   • Date of Birth: 21-06-1988
   • Father's/Husband's Name: SUSHIL KUMAR RUNGTA (F)

   • Date of Retirement: 30-06-2048
   • Id No: UP2042

6. scholar.google.com › citations‪Neha Rungta‬ - ‪Google Scholar‬

   scholar.google.com › citations

   • Cached

   Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta. Automated Software Engineering 20, 391-425. , 2013. 225. 2013. Semantic-based automated reasoning for AWS access policies using SMT.

7. isr.uci.edu › content › neha-rungtaNeha Rungta - isr.uci.edu

   isr.uci.edu › content › neha-rungta

   • Cached

   Apr 2, 2021 · Neha Rungta is a senior principal applied scientist in the Automated Reasoning Group with Amazon Web Services (AWS), working on formal verification techniques for cloud security. Prior to joining AWS, Neha was well-known for her work on symbolic execution, automated program analysis, and airspace modeling at the NASA Ames Research Center.

8. dblp.org › pid › 66dblp: Neha Rungta

   dblp.org › pid › 66

   • Cached

   William J. Clancey, Chin Seah, Charlotte Linde, Michael G. Shafto, Neha S. Rungta: Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model. AAAI Spring Symposia 2014