Search results
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.
- Contributing Writer
Location: Sunnyvale · 500+ connections on LinkedIn. View Neha Rungta’s profile on LinkedIn, a professional community of 1 billion members.
- 500+
- 2K
- Neha Rungta
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.
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.
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):
- 21-06-1988
- SUSHIL KUMAR RUNGTA (F)
- 30-06-2048
- UP2042
Dec 5, 2019 · Neha Rungta, Principal, Applied Scientist, Automated Reasoning Group at AWS, sits down with Jeff Frick & John Walls for AWS re:Invent 2019 at the Sands Expo & Convention Center in...
- 13 min
- 1368
- SiliconANGLE theCUBE
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.
