Principal Applied Scientist
CurrentI am currently leading a small team of applied scientists to deliver an innovative new AWS security product powered by GenAI. In this new role, I'm working to establish product direction, define quality metrics that enable rapid iteration, and strengthen the team through hiring and development.Previously:I joined a business-critical tiger team to verify a key block of an upcoming AWS Trainium chip after the departure of a key designer had left an understanding gap. Over four months, I spearheaded documenting the unit's behavior, developed a formal verification environment in Jasper, wrote comprehensive properties, and achieved over 70% full proofs using proof structuring. I found dozens of confirmed bugs and implemented RTL fixes.I led the development of an internal service that helps engineers identify and minimize access to Amazon's most sensitive customer data. Using automated reasoning, this service analyzes policies and network access to uncover possible data flows that an adversary might exploit. My role spanned concept development, team management, product strategy, roadmap planning, and building partnerships with other research and security teams across Amazon.
