Neha Rungta

Dr. Neha Rungta is a Principal Engineer in the Automated Reasoning Group with Amazon Web Services (AWS) working on formal verification techniques for cloud security. Prior to joining AWS, Neha is known for her work on symbolic execution, automated program analysis, and airspace modeling at NASA Ames. She graduated with a PhD in Computer Science from BYU in 2009.

Linked Presentation: