Award Recipient Alexander Summers The University of British Columbia Social website 2021 Amazon Research Award Enriched Type and Memory Encodings for Modular Rust Verification
