Neha Rungta

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.

Wir empfehlen

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

ISBN: 978-3-85448-053-2
Das ausgewählte Produkt wurde zum Warenkorb hinzugefügt.
Akzeptieren
Abbrechen