Yahoo India Web Search

Sign In

Search results

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

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

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

    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.

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

    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.

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

    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):

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

    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.

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

    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.

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

    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