Award Recipient Pietro Ferrara Ca' Foscari University of Venice Follow Us website 2020 Amazon Research Award IAM access control policies verification and inference Research topic Automated reasoning