Yahoo Malaysia 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. Images

    • Colloquium - Dr. Neha Rungta | Announce | University of Nebraska-Lincoln
    • Neha Rungta, AWS | AWS re:Invent 2019 - YouTube
    • Neha Rungta
    • Neha RUNGTA | NASA, DC | Research profile
    • Neha Rungta: Little Endian in the Big City: Mehndi Pictures

    View all

  3. www.amazon.science › working-at-amazon-from-nasa-amesFor 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.

  4. 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.

  5. Videos

    View all

  6. 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.

  7. www.amazon.science › blog › a-billion-smt-queries-a-dayA billion SMT queries a day - Amazon Science

    Aug 18, 2022 · A billion SMT queries a day. CAV keynote lecture by the director of applied science for AWS Identity explains how AWS is making the power of automated reasoning available to all customers. By Neha Rungta. August 18, 2022.

  8. 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

  9. www.linkedin.com › pulse › innovation-series-part-1-curiosityThe Innovation Series: Part 1 - Curiosity as a compass - LinkedIn

    Jun 27, 2023 · Neha Rungta. Published Jun 27, 2023. + Follow. I often get asked how I approach innovation. My answer is innovation is a journey, not a destination. There is no single course or path to...