Neha Rungta ist Direktorin für angewandte Wissenschaft bei AWS Identity und hat einen Doktortitel in automatisiertem Schlussfolgern. Sie entwickelt gerne Tools und Dienste mit formalen Methoden, die von allen AWS-Kunden genutzt werden können. Sie hat Dienste wie Amazon S3 Block Access und IAM Access Analyzer eingeführt, die auf SMT-Lösungen basieren, um Kunden dabei zu helfen, eine höhere Zuverlässigkeit ihrer Sicherheitsmaßnahmen zu erreichen. Bevor sie zu AWS kam, war Neha vor allem für ihre Arbeit an symbolischer Ausführung, automatisierter Programmanalyse und Luftraummodellierung am NASA Ames Research Center bekannt.