I am currently an Applied Scientist at Amazon Web Services. I have been a core member of the team which replaced AWS' authorization engine with a verified version written in Dafny
[1]. Most recently I have been working on IAM Policy Autopilot, a toolkit using static analysis to generate IAM policies from source code
[2].