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. She has launched services such as Amazon S3 Block Access and IAM Access Analyzer, which use SMT solving under the hood to help customers achieve higher assurance around their security postures. Prior to joining AWS, Neha was best known for her work on symbolic execution, automated program analysis, and airspace modeling at NASA Ames Research Center.