Person. Marianna Rapoport Amazon Web Services · mrapoport.com · https://github.com/amaurremi/ PhD advisorOndřej Lhoták PhDUniversity of Waterloo Master’sUniversity of Waterloo UndergraduateMoscow Institute of Radioelectronics, Engineering and Automation Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb